()
| 2595 | } |
| 2596 | |
| 2597 | restoreEditor(): void { |
| 2598 | this.state.editorContainer.clear(); |
| 2599 | this.state.editorContainer.addChild(this.state.editor); |
| 2600 | this.state.ui.setFocus(this.state.editor); |
| 2601 | this.state.ui.requestRender(); |
| 2602 | } |
| 2603 | |
| 2604 | restoreInputText(text: string): void { |
| 2605 | this.restoreEditor(); |
no test coverage detected