()
| 950 | } |
| 951 | |
| 952 | private armExitTimer(): void { |
| 953 | this.clearExitTimer() |
| 954 | this.exitTimeout = setTimeout(() => { |
| 955 | this.exitTimeout = undefined |
| 956 | if (this.isGone || this.isClosed) { |
| 957 | return |
| 958 | } |
| 959 | |
| 960 | this.patch({ exit: 0 }) |
| 961 | }, 5000) |
| 962 | } |
| 963 | |
| 964 | // Two-press interrupt: first press shows a hint ("esc again to interrupt"), |
| 965 | // second press within 5 seconds fires onInterrupt. The timer resets the |
no test coverage detected