@codingame/monaco-vscode-api 36.2.7 → 37.1.0

package/vscode/src/vs/workbench/contrib/preferences/browser/preferencesWidgets.js

@@ -220,17 +220,17 @@ let SettingsTargetsWidget = class SettingsTargetsWidget extends Widget {
     resetLabels() {
         const remoteAuthority = this.environmentService.remoteAuthority;
         const hostLabel = remoteAuthority && this.labelService.getHostLabel(Schemas.vscodeRemote, remoteAuthority);
-        this.userLocalSettings.label = ( localize(13146, "User"));
-        this.userRemoteSettings.label = ( localize(13147, "Remote")) + (hostLabel ? ` [${hostLabel}]` : "");
-        this.workspaceSettings.label = this.contextService.getWorkspace().name || ( localize(13148, "Workspace"));
-        this.folderSettingsAction.label = ( localize(13149, "Folder"));
+        this.userLocalSettings.label = ( localize(15130, "User"));
+        this.userRemoteSettings.label = ( localize(15131, "Remote")) + (hostLabel ? ` [${hostLabel}]` : "");
+        this.workspaceSettings.label = this.contextService.getWorkspace().name || ( localize(15132, "Workspace"));
+        this.folderSettingsAction.label = ( localize(15133, "Folder"));
     }
     create(parent) {
         const settingsTabsWidget = append(parent, $(".settings-tabs-widget"));
         this.settingsSwitcherBar = this._register(( new ActionBar(settingsTabsWidget, {
             orientation: ActionsOrientation.HORIZONTAL,
             focusOnlyEnabledItems: true,
-            ariaLabel: ( localize(13150, "Settings Switcher")),
+            ariaLabel: ( localize(15134, "Settings Switcher")),
             ariaRole: "tablist",
             actionViewItemProvider: (action, options) => action.id === "folderSettings" ? this.folderSettings : undefined
         })));
@@ -241,7 +241,7 @@ let SettingsTargetsWidget = class SettingsTargetsWidget extends Widget {
             true,
             () => this.updateTarget(ConfigurationTarget.USER_LOCAL)
         )));
-        this.userLocalSettings.tooltip = ( localize(13146, "User"));
+        this.userLocalSettings.tooltip = ( localize(15130, "User"));
         this.userRemoteSettings = this._register(( new Action(
             "userSettingsRemote",
             "",
@@ -251,7 +251,7 @@ let SettingsTargetsWidget = class SettingsTargetsWidget extends Widget {
         )));
         const remoteAuthority = this.environmentService.remoteAuthority;
         const hostLabel = remoteAuthority && this.labelService.getHostLabel(Schemas.vscodeRemote, remoteAuthority);
-        this.userRemoteSettings.tooltip = ( localize(13147, "Remote")) + (hostLabel ? ` [${hostLabel}]` : "");
+        this.userRemoteSettings.tooltip = ( localize(15131, "Remote")) + (hostLabel ? ` [${hostLabel}]` : "");
         this.workspaceSettings = this._register(( new Action(
             "workspaceSettings",
             "",
@@ -291,13 +291,13 @@ let SettingsTargetsWidget = class SettingsTargetsWidget extends Widget {
     }
     setResultCount(settingsTarget, count) {
         if (settingsTarget === ConfigurationTarget.WORKSPACE) {
-            let label = this.contextService.getWorkspace().name ?? ( localize(13148, "Workspace"));
+            let label = this.contextService.getWorkspace().name ?? ( localize(15132, "Workspace"));
             if (count) {
                 label += ` (${count})`;
             }
             this.workspaceSettings.label = label;
         } else if (settingsTarget === ConfigurationTarget.USER_LOCAL) {
-            let label = ( localize(13146, "User"));
+            let label = ( localize(15130, "User"));
             if (count) {
                 label += ` (${count})`;
             }
@@ -342,7 +342,7 @@ let SettingsTargetsWidget = class SettingsTargetsWidget extends Widget {
         this.userRemoteSettings.enabled = !!(this.options.enableRemoteSettings && this.environmentService.remoteAuthority);
         this.workspaceSettings.enabled = this.contextService.getWorkbenchState() !== WorkbenchState.EMPTY;
         this.folderSettings.action.enabled = this.contextService.getWorkbenchState() === WorkbenchState.WORKSPACE && this.contextService.getWorkspace().folders.length > 0;
-        this.workspaceSettings.tooltip = ( localize(13148, "Workspace"));
+        this.workspaceSettings.tooltip = ( localize(15132, "Workspace"));
     }
 };
 SettingsTargetsWidget = ( __decorate([( __param(2, IWorkspaceContextService)), ( __param(3, IInstantiationService)), ( __param(4, IWorkbenchEnvironmentService)), ( __param(5, ILabelService)), ( __param(6, ILanguageService))], SettingsTargetsWidget));

package/vscode/src/vs/workbench/contrib/preferences/browser/settingsLayout.js

@@ -1,6 +1,7 @@
 
 import { isWindows, isWeb } from '../../../../base/common/platform.js';
 import { localize } from '../../../../nls.js';
+import { ChatAIDisabledSettingId } from '../../../../platform/chat/common/chatSettings.js';
 
 const COMMONLY_USED_SETTINGS = [
     "editor.fontSize",
@@ -35,7 +36,7 @@ function getCommonlyUsedData(settingGroups) {
     }
     return {
         id: "commonlyUsed",
-        label: ( localize(13207, "Commonly Used")),
+        label: ( localize(15191, "Commonly Used")),
         settings
     };
 }
@@ -44,52 +45,52 @@ const tocData = {
     label: "root",
     children: [{
         id: "editor",
-        label: ( localize(13208, "Text Editor")),
+        label: ( localize(15192, "Text Editor")),
         settings: ["editor.*"],
         children: [{
             id: "editor/cursor",
-            label: ( localize(13209, "Cursor")),
+            label: ( localize(15193, "Cursor")),
             settings: ["editor.cursor*"]
         }, {
             id: "editor/find",
-            label: ( localize(13210, "Find")),
+            label: ( localize(15194, "Find")),
             settings: ["editor.find.*"]
         }, {
             id: "editor/font",
-            label: ( localize(13211, "Font")),
+            label: ( localize(15195, "Font")),
             settings: ["editor.font*"]
         }, {
             id: "editor/format",
-            label: ( localize(13212, "Formatting")),
+            label: ( localize(15196, "Formatting")),
             settings: ["editor.format*"]
         }, {
             id: "editor/diffEditor",
-            label: ( localize(13213, "Diff Editor")),
+            label: ( localize(15197, "Diff Editor")),
             settings: ["diffEditor.*"]
         }, {
             id: "editor/multiDiffEditor",
-            label: ( localize(13214, "Multi-File Diff Editor")),
+            label: ( localize(15198, "Multi-File Diff Editor")),
             settings: ["multiDiffEditor.*"]
         }, {
             id: "editor/minimap",
-            label: ( localize(13215, "Minimap")),
+            label: ( localize(15199, "Minimap")),
             settings: ["editor.minimap.*"]
         }, {
             id: "editor/suggestions",
-            label: ( localize(13216, "Suggestions")),
+            label: ( localize(15200, "Suggestions")),
             settings: ["editor.*suggest*"]
         }, {
             id: "editor/files",
-            label: ( localize(13217, "Files")),
+            label: ( localize(15201, "Files")),
             settings: ["files.*"]
         }]
     }, {
         id: "workbench",
-        label: ( localize(13218, "Workbench")),
+        label: ( localize(15202, "Workbench")),
         settings: ["workbench.*"],
         children: [{
             id: "workbench/appearance",
-            label: ( localize(13219, "Appearance")),
+            label: ( localize(15203, "Appearance")),
             settings: [
                 "workbench.activityBar.*",
                 "workbench.*color*",
@@ -103,44 +104,44 @@ const tocData = {
             ]
         }, {
             id: "workbench/breadcrumbs",
-            label: ( localize(13220, "Breadcrumbs")),
+            label: ( localize(15204, "Breadcrumbs")),
             settings: ["breadcrumbs.*"]
         }, {
             id: "workbench/editor",
-            label: ( localize(13221, "Editor Management")),
+            label: ( localize(15205, "Editor Management")),
             settings: ["workbench.editor.*"]
         }, {
             id: "workbench/settings",
-            label: ( localize(13222, "Settings Editor")),
+            label: ( localize(15206, "Settings Editor")),
             settings: ["workbench.settings.*"]
         }, {
             id: "workbench/zenmode",
-            label: ( localize(13223, "Zen Mode")),
+            label: ( localize(15207, "Zen Mode")),
             settings: ["zenmode.*"]
         }, {
             id: "workbench/screencastmode",
-            label: ( localize(13224, "Screencast Mode")),
+            label: ( localize(15208, "Screencast Mode")),
             settings: ["screencastMode.*"]
         }, {
             id: "workbench/browser",
-            label: ( localize(13225, "Browser")),
+            label: ( localize(15209, "Browser")),
             settings: ["workbench.browser.*"]
         }]
     }, {
         id: "window",
-        label: ( localize(13226, "Window")),
+        label: ( localize(15210, "Window")),
         settings: ["window.*"],
         children: [{
             id: "window/newWindow",
-            label: ( localize(13227, "New Window")),
+            label: ( localize(15211, "New Window")),
             settings: ["window.*newwindow*"]
         }]
     }, {
         id: "chat",
-        label: ( localize(13228, "Chat")),
+        label: ( localize(15212, "Chat")),
         children: [{
             id: "chat/agent",
-            label: ( localize(13229, "Agent")),
+            label: ( localize(15213, "Agent")),
             settings: [
                 "chat.agent.*",
                 "chat.checkpoints.*",
@@ -154,7 +155,7 @@ const tocData = {
             ]
         }, {
             id: "chat/appearance",
-            label: ( localize(13230, "Appearance")),
+            label: ( localize(15214, "Appearance")),
             settings: [
                 "chat.editor.*",
                 "chat.fontFamily",
@@ -176,7 +177,7 @@ const tocData = {
             ]
         }, {
             id: "chat/sessions",
-            label: ( localize(13231, "Sessions")),
+            label: ( localize(15215, "Sessions")),
             settings: [
                 "chat.agentSessionProjection.*",
                 "chat.sessions.*",
@@ -188,15 +189,15 @@ const tocData = {
             ]
         }, {
             id: "chat/tools",
-            label: ( localize(13232, "Tools")),
+            label: ( localize(15216, "Tools")),
             settings: ["chat.tools.*", "chat.extensionTools.*"]
         }, {
             id: "chat/mcp",
-            label: ( localize(13233, "MCP")),
+            label: ( localize(15217, "MCP")),
             settings: ["mcp", "chat.mcp.*", "mcp.*"]
         }, {
             id: "chat/context",
-            label: ( localize(13234, "Context")),
+            label: ( localize(15218, "Context")),
             settings: [
                 "chat.detectParticipant.*",
                 "chat.experimental.detectParticipant.*",
@@ -219,134 +220,134 @@ const tocData = {
             ]
         }, {
             id: "chat/inlineChat",
-            label: ( localize(13235, "Inline Chat")),
+            label: ( localize(15219, "Inline Chat")),
             settings: ["inlineChat.*"]
         }, {
             id: "chat/miscellaneous",
-            label: ( localize(13236, "Miscellaneous")),
-            settings: ["chat.disableAIFeatures", "chat.allowAnonymousAccess"]
+            label: ( localize(15220, "Miscellaneous")),
+            settings: [ChatAIDisabledSettingId, "chat.allowAnonymousAccess"]
         }]
     }, {
         id: "features",
-        label: ( localize(13237, "Features")),
+        label: ( localize(15221, "Features")),
         children: [{
             id: "features/accessibilitySignals",
-            label: ( localize(13238, "Accessibility Signals")),
+            label: ( localize(15222, "Accessibility Signals")),
             settings: ["accessibility.signal*"]
         }, {
             id: "features/accessibility",
-            label: ( localize(13239, "Accessibility")),
+            label: ( localize(15223, "Accessibility")),
             settings: ["accessibility.*"]
         }, {
             id: "features/explorer",
-            label: ( localize(13240, "Explorer")),
+            label: ( localize(15224, "Explorer")),
             settings: ["explorer.*", "outline.*"]
         }, {
             id: "features/search",
-            label: ( localize(13241, "Search")),
+            label: ( localize(15225, "Search")),
             settings: ["search.*"]
         }, {
             id: "features/debug",
-            label: ( localize(13242, "Debug")),
+            label: ( localize(15226, "Debug")),
             settings: ["debug.*", "launch"]
         }, {
             id: "features/testing",
-            label: ( localize(13243, "Testing")),
+            label: ( localize(15227, "Testing")),
             settings: ["testing.*"]
         }, {
             id: "features/scm",
-            label: ( localize(13244, "Source Control")),
+            label: ( localize(15228, "Source Control")),
             settings: ["scm.*"]
         }, {
             id: "features/extensions",
-            label: ( localize(13245, "Extensions")),
+            label: ( localize(15229, "Extensions")),
             settings: ["extensions.*"]
         }, {
             id: "features/terminal",
-            label: ( localize(13246, "Terminal")),
+            label: ( localize(15230, "Terminal")),
             settings: ["terminal.*"]
         }, {
             id: "features/task",
-            label: ( localize(13247, "Task")),
+            label: ( localize(15231, "Task")),
             settings: ["task.*"]
         }, {
             id: "features/problems",
-            label: ( localize(13248, "Problems")),
+            label: ( localize(15232, "Problems")),
             settings: ["problems.*"]
         }, {
             id: "features/output",
-            label: ( localize(13249, "Output")),
+            label: ( localize(15233, "Output")),
             settings: ["output.*"]
         }, {
             id: "features/comments",
-            label: ( localize(13250, "Comments")),
+            label: ( localize(15234, "Comments")),
             settings: ["comments.*"]
         }, {
             id: "features/remote",
-            label: ( localize(13251, "Remote")),
+            label: ( localize(15235, "Remote")),
             settings: ["remote.*"]
         }, {
             id: "features/timeline",
-            label: ( localize(13252, "Timeline")),
+            label: ( localize(15236, "Timeline")),
             settings: ["timeline.*"]
         }, {
             id: "features/notebook",
-            label: ( localize(13253, "Notebook")),
+            label: ( localize(15237, "Notebook")),
             settings: ["notebook.*", "interactiveWindow.*"]
         }, {
             id: "features/mergeEditor",
-            label: ( localize(13254, "Merge Editor")),
+            label: ( localize(15238, "Merge Editor")),
             settings: ["mergeEditor.*"]
         }, {
             id: "features/issueReporter",
-            label: ( localize(13255, "Issue Reporter")),
+            label: ( localize(15239, "Issue Reporter")),
             settings: ["issueReporter.*"],
             hide: !isWeb
         }]
     }, {
         id: "application",
-        label: ( localize(13256, "Application")),
+        label: ( localize(15240, "Application")),
         children: [{
             id: "application/http",
-            label: ( localize(13257, "Proxy")),
+            label: ( localize(15241, "Proxy")),
             settings: ["http.*"]
         }, {
             id: "application/keyboard",
-            label: ( localize(13258, "Keyboard")),
+            label: ( localize(15242, "Keyboard")),
             settings: ["keyboard.*"]
         }, {
             id: "application/update",
-            label: ( localize(13259, "Update")),
+            label: ( localize(15243, "Update")),
             settings: ["update.*"]
         }, {
             id: "application/telemetry",
-            label: ( localize(13260, "Telemetry")),
+            label: ( localize(15244, "Telemetry")),
             settings: ["telemetry.*"]
         }, {
             id: "application/settingsSync",
-            label: ( localize(13261, "Settings Sync")),
+            label: ( localize(15245, "Settings Sync")),
             settings: ["settingsSync.*"]
         }, {
             id: "application/network",
-            label: ( localize(13262, "Network")),
+            label: ( localize(15246, "Network")),
             settings: ["network.*"]
         }, {
             id: "application/experimental",
-            label: ( localize(13263, "Experimental")),
+            label: ( localize(15247, "Experimental")),
             settings: ["application.experimental.*"]
         }, {
             id: "application/other",
-            label: ( localize(13264, "Other")),
+            label: ( localize(15248, "Other")),
             settings: ["application.*"],
             hide: isWindows
         }]
     }, {
         id: "security",
-        label: ( localize(13265, "Security")),
+        label: ( localize(15249, "Security")),
         settings: ["security.*"],
         children: [{
             id: "security/workspace",
-            label: ( localize(13266, "Workspace")),
+            label: ( localize(15250, "Workspace")),
             settings: ["security.workspace.*"]
         }]
     }]

package/vscode/src/vs/workbench/contrib/preferences/common/preferences.d.ts

@@ -33,7 +33,6 @@ export interface IRemoteSearchProvider extends ISearchProvider {
 export interface IAiSearchProvider extends IRemoteSearchProvider {
     getLLMRankedResults(token: CancellationToken): Promise<ISearchResult | null>;
 }
-export declare const PREFERENCES_EDITOR_COMMAND_OPEN = "workbench.preferences.action.openPreferencesEditor";
 export declare const CONTEXT_PREFERENCES_SEARCH_FOCUS: RawContextKey<boolean>;
 export declare const SETTINGS_EDITOR_COMMAND_CLEAR_SEARCH_RESULTS = "settings.action.clearSearchResults";
 export declare const SETTINGS_EDITOR_COMMAND_SHOW_AI_RESULTS = "settings.action.showAIResults";

package/vscode/src/vs/workbench/contrib/preferences/common/preferences.js

@@ -122,15 +122,15 @@ function compareTwoNullableNumbers(a, b) {
     }
 }
 const PREVIEW_INDICATOR_DESCRIPTION = ( localize(
-    13341,
+    15327,
     "Preview setting: this setting controls a new feature that is still under refinement yet ready to use. Feedback is welcome."
 ));
 const EXPERIMENTAL_INDICATOR_DESCRIPTION = ( localize(
-    13342,
+    15328,
     "Experimental setting: this setting controls a new feature that is actively being developed and may be unstable. It is subject to change or removal."
 ));
 const ADVANCED_INDICATOR_DESCRIPTION = ( localize(
-    13343,
+    15329,
     "Advanced setting: this setting is intended for advanced scenarios and configurations. Only modify this if you know what it does."
 ));
 const knownAcronyms = ( new Set());
@@ -153,6 +153,7 @@ knownTermMappings.set("powershell", "PowerShell");
 knownTermMappings.set("javascript", "JavaScript");
 knownTermMappings.set("typescript", "TypeScript");
 knownTermMappings.set("github", "GitHub");
+knownTermMappings.set("ocaml", "OCaml");
 knownTermMappings.set("jet brains", "JetBrains");
 knownTermMappings.set("jetbrains", "JetBrains");
 knownTermMappings.set("re sharper", "ReSharper");

package/vscode/src/vs/workbench/contrib/preferences/common/settingsEditorColorRegistry.js

@@ -19,46 +19,46 @@ const settingsHeaderForeground = registerColor("settings.headerForeground", {
     dark: "#e7e7e7",
     hcDark: "#ffffff",
     hcLight: "#292929"
-}, ( localize(13349, "The foreground color for a section header or active title.")));
-const settingsHeaderHoverForeground = registerColor("settings.settingsHeaderHoverForeground", ( transparent(settingsHeaderForeground, 0.7)), ( localize(13350, "The foreground color for a section header or hovered title.")));
+}, ( localize(15335, "The foreground color for a section header or active title.")));
+const settingsHeaderHoverForeground = registerColor("settings.settingsHeaderHoverForeground", ( transparent(settingsHeaderForeground, 0.7)), ( localize(15336, "The foreground color for a section header or hovered title.")));
 registerColor("settings.modifiedItemIndicator", {
     light: ( new Color(( new RGBA(102, 175, 224)))),
     dark: ( new Color(( new RGBA(12, 125, 157)))),
     hcDark: ( new Color(( new RGBA(0, 73, 122)))),
     hcLight: ( new Color(( new RGBA(102, 175, 224))))
-}, ( localize(13351, "The color of the modified setting indicator.")));
-const settingsHeaderBorder = registerColor("settings.headerBorder", PANEL_BORDER, ( localize(13352, "The color of the header container border.")));
-const settingsSashBorder = registerColor("settings.sashBorder", PANEL_BORDER, ( localize(13353, "The color of the Settings editor splitview sash border.")));
-const settingsSelectBackground = registerColor(`settings.dropdownBackground`, selectBackground, ( localize(13354, "Settings editor dropdown background.")));
-const settingsSelectForeground = registerColor("settings.dropdownForeground", selectForeground, ( localize(13355, "Settings editor dropdown foreground.")));
-const settingsSelectBorder = registerColor("settings.dropdownBorder", selectBorder, ( localize(13356, "Settings editor dropdown border.")));
+}, ( localize(15337, "The color of the modified setting indicator.")));
+const settingsHeaderBorder = registerColor("settings.headerBorder", PANEL_BORDER, ( localize(15338, "The color of the header container border.")));
+const settingsSashBorder = registerColor("settings.sashBorder", PANEL_BORDER, ( localize(15339, "The color of the Settings editor splitview sash border.")));
+const settingsSelectBackground = registerColor(`settings.dropdownBackground`, selectBackground, ( localize(15340, "Settings editor dropdown background.")));
+const settingsSelectForeground = registerColor("settings.dropdownForeground", selectForeground, ( localize(15341, "Settings editor dropdown foreground.")));
+const settingsSelectBorder = registerColor("settings.dropdownBorder", selectBorder, ( localize(15342, "Settings editor dropdown border.")));
 const settingsSelectListBorder = registerColor("settings.dropdownListBorder", editorWidgetBorder, ( localize(
-    13357,
+    15343,
     "Settings editor dropdown list border. This surrounds the options and separates the options from the description."
 )));
-registerColor("settings.checkboxBackground", checkboxBackground, ( localize(13358, "Settings editor checkbox background.")));
-registerColor("settings.checkboxForeground", checkboxForeground, ( localize(13359, "Settings editor checkbox foreground.")));
-registerColor("settings.checkboxBorder", checkboxBorder, ( localize(13360, "Settings editor checkbox border.")));
-const settingsTextInputBackground = registerColor("settings.textInputBackground", inputBackground, ( localize(13361, "Settings editor text input box background.")));
-const settingsTextInputForeground = registerColor("settings.textInputForeground", inputForeground, ( localize(13362, "Settings editor text input box foreground.")));
-const settingsTextInputBorder = registerColor("settings.textInputBorder", inputBorder, ( localize(13363, "Settings editor text input box border.")));
-const settingsNumberInputBackground = registerColor("settings.numberInputBackground", inputBackground, ( localize(13364, "Settings editor number input box background.")));
-const settingsNumberInputForeground = registerColor("settings.numberInputForeground", inputForeground, ( localize(13365, "Settings editor number input box foreground.")));
-const settingsNumberInputBorder = registerColor("settings.numberInputBorder", inputBorder, ( localize(13366, "Settings editor number input box border.")));
+registerColor("settings.checkboxBackground", checkboxBackground, ( localize(15344, "Settings editor checkbox background.")));
+registerColor("settings.checkboxForeground", checkboxForeground, ( localize(15345, "Settings editor checkbox foreground.")));
+registerColor("settings.checkboxBorder", checkboxBorder, ( localize(15346, "Settings editor checkbox border.")));
+const settingsTextInputBackground = registerColor("settings.textInputBackground", inputBackground, ( localize(15347, "Settings editor text input box background.")));
+const settingsTextInputForeground = registerColor("settings.textInputForeground", inputForeground, ( localize(15348, "Settings editor text input box foreground.")));
+const settingsTextInputBorder = registerColor("settings.textInputBorder", inputBorder, ( localize(15349, "Settings editor text input box border.")));
+const settingsNumberInputBackground = registerColor("settings.numberInputBackground", inputBackground, ( localize(15350, "Settings editor number input box background.")));
+const settingsNumberInputForeground = registerColor("settings.numberInputForeground", inputForeground, ( localize(15351, "Settings editor number input box foreground.")));
+const settingsNumberInputBorder = registerColor("settings.numberInputBorder", inputBorder, ( localize(15352, "Settings editor number input box border.")));
 registerColor("settings.focusedRowBackground", {
     dark: ( transparent(listHoverBackground, .6)),
     light: ( transparent(listHoverBackground, .6)),
     hcDark: null,
     hcLight: null
-}, ( localize(13367, "The background color of a settings row when focused.")));
+}, ( localize(15353, "The background color of a settings row when focused.")));
 registerColor("settings.rowHoverBackground", {
     dark: ( transparent(listHoverBackground, .3)),
     light: ( transparent(listHoverBackground, .3)),
     hcDark: null,
     hcLight: null
-}, ( localize(13368, "The background color of a settings row when hovered.")));
+}, ( localize(15354, "The background color of a settings row when hovered.")));
 registerColor("settings.focusedRowBorder", focusBorder, ( localize(
-    13369,
+    15355,
     "The color of the row's top and bottom border when the row is focused."
 )));
 

package/vscode/src/vs/workbench/contrib/remote/browser/remoteExplorer.d.ts

@@ -1,6 +1,7 @@
 import { Disposable } from "../../../../base/common/lifecycle.js";
 import { IWorkbenchContribution } from "../../../common/contributions.js";
 import { IRemoteExplorerService } from "../../../services/remote/common/remoteExplorerService.service.js";
+import { CandidatePort, Tunnel } from "../../../services/remote/common/tunnelModel.js";
 import { IContextKeyService } from "../../../../platform/contextkey/common/contextkey.service.js";
 import { IWorkbenchEnvironmentService } from "../../../services/environment/common/environmentService.service.js";
 import { IStatusbarService } from "../../../services/statusbar/browser/statusbar.service.js";
@@ -18,6 +19,11 @@ import { IWorkbenchConfigurationService } from "../../../services/configuration/
 import { IPreferencesService } from "../../../services/preferences/common/preferences.service.js";
 import { IStorageService } from "../../../../platform/storage/common/storage.service.js";
 export declare const VIEWLET_ID = "workbench.view.remote";
+export declare const TOGGLE_VIEW_ACTION_ID = "remoteExplorer.toggleForwardedPortsView";
+/**
+ * Checks if a process candidate is the remapped local endpoint of an existing tunnel.
+ */
+export declare function isCandidateRemappedTunnelLocalEndpoint(candidate: CandidatePort, tunnels: Iterable<Pick<Tunnel, "localPort" | "remotePort">>): boolean;
 export declare class ForwardedPortsView extends Disposable implements IWorkbenchContribution {
     private readonly contextKeyService;
     private readonly environmentService;