()
| 1054 | } |
| 1055 | |
| 1056 | private drainOneQueuedMessage(): void { |
| 1057 | const item = this.shiftQueuedMessage(); |
| 1058 | if (item === undefined) return; |
| 1059 | const session = this.session; |
| 1060 | if (session === undefined) return; |
| 1061 | if (item.mode === 'bash') { |
| 1062 | this.runShellCommandFromInput(item.text); |
| 1063 | } else { |
| 1064 | this.sendQueuedMessage(session, item); |
| 1065 | } |
| 1066 | this.updateQueueDisplay(); |
| 1067 | } |
| 1068 | |
| 1069 | sendNormalUserInput(text: string): void { |
| 1070 | if (this.btwPanelController.sendUserInput(text)) return; |
no test coverage detected