Fire group service instance change event when switching

Fixes #127343
This commit is contained in:
Daniel Imms 2021-06-28 11:49:54 -07:00
parent 1b6883261b
commit 8ab8d2ae95
2 changed files with 3 additions and 1 deletions

View file

@ -288,14 +288,15 @@ export class TerminalGroupService extends Disposable implements ITerminalGroupSe
}
this.activeInstanceIndex = instanceLocation.instanceIndex;
this.activeGroupIndex = instanceLocation.groupIndex;
if (this.activeGroupIndex !== instanceLocation.groupIndex) {
this.activeGroupIndex = instanceLocation.groupIndex;
this._onDidChangeActiveGroup.fire(this.activeGroup);
}
this.groups.forEach((g, i) => g.setVisible(i === instanceLocation.groupIndex));
instanceLocation.group.setActiveInstanceByIndex(this.activeInstanceIndex);
this._onDidChangeActiveInstance.fire(newActiveInstance);
}
setActiveGroupToNext() {

View file

@ -435,6 +435,7 @@ class SingleTerminalTabActionViewItem extends MenuEntryActionViewItem {
this._register(this._terminalService.onInstancePrimaryStatusChanged(e => this.updateLabel(e)));
this._register(_terminalGroupService.onDidChangeActiveInstance(() => this.updateLabel()));
this._register(this._terminalService.onInstanceIconChanged(e => this.updateLabel(e)));
this._register(this._terminalService.onInstanceColorChanged(e => this.updateLabel(e)));
this._register(this._terminalService.onInstanceTitleChanged(e => {
if (e === this._terminalGroupService.activeInstance) {
this._action.tooltip = getSingleTabTooltip(e);