Implement dispose and hide

This commit is contained in:
Daniel Imms
2016-08-17 14:34:19 -07:00
parent 734f91b5de
commit ff87ab3251
3 changed files with 22 additions and 3 deletions

View File

@@ -29,6 +29,19 @@ export class MainThreadTerminalService extends MainThreadTerminalServiceShape {
});
}
public $hide(terminalId: number): void {
this._terminalService.hide();
}
public $dispose(terminalId: number): void {
// TODO: This could be improved by not first showing the terminal to be disposed
var self = this;
this._terminalService.show(false).then((terminalPanel) => {
terminalPanel.setActiveTerminalById(terminalId);
self._terminalService.close();
});;
}
public $sendText(terminalId: number, text: string, addNewLine: boolean): void {
this._terminalService.show(false).then((terminalPanel) => {
terminalPanel.setActiveTerminalById(terminalId);