提交 5a57202e 编写于 作者: D Daniel Imms

Add tab click event

上级 f7714612
......@@ -153,11 +153,23 @@ export class TerminalPanel extends Panel {
this.setActiveTerminal(this.terminalInstances.length - 1);
this.toDispose.push(this.themeService.onDidThemeChange(this.updateTheme.bind(this)));
this.toDispose.push(this.configurationService.onDidUpdateConfiguration(this.updateFont.bind(this)));
this.toDispose.push(DOM.addDisposableListener(terminalInstance.getTabElement(), 'click', (event) => {
this.setActiveTerminal(this.getTerminalInstanceIndex(terminalInstance));
}));
this.tabsContainer.appendChild(terminalInstance.getTabElement());
resolve(terminalInstance);
});
}
private getTerminalInstanceIndex(terminalInstance: TerminalInstance): number {
for (let i = 0; i < this.terminalInstances.length; i++) {
if (terminalInstance === this.terminalInstances[i]) {
return i;
}
};
return -1;
}
private setActiveTerminal(index: number) {
this.activeTerminalIndex = index;
this.terminalInstances.forEach((terminalInstance, i) => {
......
Markdown is supported
0% .
You are about to add 0 people to the discussion. Proceed with caution.
先完成此消息的编辑!
想要评论请 注册