Many terminal API changes

This commit is contained in:
Daniel Imms
2016-08-19 12:09:18 -07:00
parent 2fb2d9a5dd
commit 65888050c3
8 changed files with 53 additions and 20 deletions

View File

@@ -30,15 +30,14 @@ export class MainThreadTerminalService extends MainThreadTerminalServiceShape {
}
public $hide(terminalId: number): void {
// TODO: Use terminalId to hide it
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();
terminalPanel.closeTerminalById(terminalId);
});;
}