Skip to content

Commit

Permalink
fix spelling and user terminalId getter instead _terminal id property
Browse files Browse the repository at this point in the history
Signed-off-by: Jonah Iden <[email protected]>
  • Loading branch information
jonah-iden committed Feb 27, 2024
1 parent 7e47b82 commit d4ea32a
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions packages/core/src/browser/shell/tab-bars.ts
Original file line number Diff line number Diff line change
Expand Up @@ -616,12 +616,12 @@ export class TabBarRenderer extends TabBar.Renderer {
this.selectionService.selection = NavigatableWidget.is(widget) ? { uri: widget.getResourceUri() } : widget;
}

const contextKeyServiceOverly = this.contextKeyService?.createOverlay([['isTerminalTab', widget && '_terminalId' in widget]]);
const contextKeyServiceOverlay = this.contextKeyService?.createOverlay([['isTerminalTab', widget && 'terminalId' in widget]]);
this.contextMenuRenderer.render({
menuPath: this.contextMenuPath!,
anchor: event,
args: [event],
contextKeyService: contextKeyServiceOverly,
contextKeyService: contextKeyServiceOverlay,
// We'd like to wait until the command triggered by the context menu has been run, but this should let it get through the preamble, at least.
onHide: () => setTimeout(() => { if (this.selectionService) { this.selectionService.selection = oldSelection; } })
});
Expand Down

0 comments on commit d4ea32a

Please sign in to comment.