@codingame/monaco-vscode-workbench-service-override 38.0.3 → 38.0.7

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@codingame/monaco-vscode-workbench-service-override",
3
- "version": "38.0.3",
3
+ "version": "38.0.7",
4
4
  "private": false,
5
5
  "description": "VSCode public API plugged on the monaco editor - workbench service-override",
6
6
  "keywords": [],
@@ -15,15 +15,15 @@
15
15
  },
16
16
  "type": "module",
17
17
  "dependencies": {
18
- "@codingame/monaco-vscode-api": "38.0.3",
19
- "@codingame/monaco-vscode-environment-service-override": "38.0.3",
20
- "@codingame/monaco-vscode-katex-common": "38.0.3",
21
- "@codingame/monaco-vscode-keybindings-service-override": "38.0.3",
22
- "@codingame/monaco-vscode-quickaccess-service-override": "38.0.3",
23
- "@codingame/monaco-vscode-view-banner-service-override": "38.0.3",
24
- "@codingame/monaco-vscode-view-common-service-override": "38.0.3",
25
- "@codingame/monaco-vscode-view-status-bar-service-override": "38.0.3",
26
- "@codingame/monaco-vscode-view-title-bar-service-override": "38.0.3"
18
+ "@codingame/monaco-vscode-api": "38.0.7",
19
+ "@codingame/monaco-vscode-environment-service-override": "38.0.7",
20
+ "@codingame/monaco-vscode-katex-common": "38.0.7",
21
+ "@codingame/monaco-vscode-keybindings-service-override": "38.0.7",
22
+ "@codingame/monaco-vscode-quickaccess-service-override": "38.0.7",
23
+ "@codingame/monaco-vscode-view-banner-service-override": "38.0.7",
24
+ "@codingame/monaco-vscode-view-common-service-override": "38.0.7",
25
+ "@codingame/monaco-vscode-view-status-bar-service-override": "38.0.7",
26
+ "@codingame/monaco-vscode-view-title-bar-service-override": "38.0.7"
27
27
  },
28
28
  "main": "index.js",
29
29
  "module": "index.js",
@@ -93,6 +93,7 @@ export declare class SessionsTerminalContribution extends Disposable implements
93
93
  private _isTerminalTracked;
94
94
  private _removeTerminalFromTrackedSessions;
95
95
  private _getAvailableTerminal;
96
+ private _shouldIgnoreTerminal;
96
97
  /**
97
98
  * Shows background terminals that belong to the active session and hides
98
99
  * foreground terminals that belong to other sessions. When the active
@@ -183,7 +183,7 @@ let SessionsTerminalContribution = class SessionsTerminalContribution extends Di
183
183
  this._standaloneTerminalIds.delete(instance.instanceId);
184
184
  }));
185
185
  this._register(this._terminalService.onDidCreateInstance(instance => {
186
- if (instance.shellLaunchConfig.hideFromUser) {
186
+ if (instance.shellLaunchConfig.hideFromUser || this._shouldIgnoreTerminal(instance)) {
187
187
  return;
188
188
  }
189
189
  if (instance.shellLaunchConfig.attachPersistentProcess && this._activeKey) {
@@ -400,7 +400,7 @@ let SessionsTerminalContribution = class SessionsTerminalContribution extends Di
400
400
  async _findTerminalsForKey(key, options) {
401
401
  const result = [];
402
402
  for (const instance of this._terminalService.instances) {
403
- if (instance.shellLaunchConfig.hideFromUser) {
403
+ if (instance.shellLaunchConfig.hideFromUser || this._shouldIgnoreTerminal(instance)) {
404
404
  continue;
405
405
  }
406
406
  if (options?.excludeTracked && (this._isTerminalTracked(instance.instanceId) || ( this._standaloneTerminalIds.has(instance.instanceId)))) {
@@ -425,6 +425,9 @@ let SessionsTerminalContribution = class SessionsTerminalContribution extends Di
425
425
  this._sessionTerminals.set(sessionId, terminalIds);
426
426
  }
427
427
  for (const instance of instances) {
428
+ if (this._shouldIgnoreTerminal(instance)) {
429
+ continue;
430
+ }
428
431
  terminalIds.add(instance.instanceId);
429
432
  if (scope) {
430
433
  this._trackedTerminalScopes.set(instance.instanceId, scope);
@@ -553,7 +556,13 @@ let SessionsTerminalContribution = class SessionsTerminalContribution extends Di
553
556
  }
554
557
  return currentInstance;
555
558
  }
559
+ _shouldIgnoreTerminal(instance) {
560
+ return !instance.shellLaunchConfig.customPtyImplementation;
561
+ }
556
562
  async _terminalMatchesScope(instance, key, agentHostAddress) {
563
+ if (this._shouldIgnoreTerminal(instance)) {
564
+ return false;
565
+ }
557
566
  const trackedScope = this._trackedTerminalScopes.get(instance.instanceId);
558
567
  if (trackedScope) {
559
568
  return trackedScope.key === key && trackedScope.agentHostAddress === agentHostAddress;
@@ -584,7 +593,7 @@ let SessionsTerminalContribution = class SessionsTerminalContribution extends Di
584
593
  this._getTrackedTerminalsForSession(activeSession.sessionId).map(instance => instance.instanceId)
585
594
  ));
586
595
  for (const instance of [...this._terminalService.instances]) {
587
- if (instance.shellLaunchConfig.hideFromUser || ( this._standaloneTerminalIds.has(instance.instanceId))) {
596
+ if (instance.shellLaunchConfig.hideFromUser || ( this._standaloneTerminalIds.has(instance.instanceId)) || this._shouldIgnoreTerminal(instance)) {
588
597
  continue;
589
598
  }
590
599
  const currentInstance = this._getAvailableTerminal(instance, "update terminal visibility");
@@ -725,7 +734,7 @@ let SessionsTerminalContribution = class SessionsTerminalContribution extends Di
725
734
  async _findUntrackedTerminalsForResource(resource) {
726
735
  const result = [];
727
736
  for (const instance of this._terminalService.instances) {
728
- if (!instance.shellLaunchConfig.attachPersistentProcess || instance.shellLaunchConfig.hideFromUser || this._isTerminalTracked(instance.instanceId) || ( this._standaloneTerminalIds.has(instance.instanceId))) {
737
+ if (!instance.shellLaunchConfig.attachPersistentProcess || this._shouldIgnoreTerminal(instance) || instance.shellLaunchConfig.hideFromUser || this._isTerminalTracked(instance.instanceId) || ( this._standaloneTerminalIds.has(instance.instanceId))) {
729
738
  continue;
730
739
  }
731
740
  try {