@codingame/monaco-vscode-chat-service-override 37.3.3 → 37.3.5

package/vscode/src/vs/sessions/contrib/providers/copilotChatSessions/browser/sandboxPicker.js

@@ -10,7 +10,7 @@ import { ITelemetryService } from '@codingame/monaco-vscode-api/vscode/vs/platfo
 import { CheckboxChip } from '@codingame/monaco-vscode-api/vscode/vs/sessions/contrib/chat/browser/checkboxChip';
 import { reportNewChatPickerClosed } from '@codingame/monaco-vscode-api/vscode/vs/sessions/contrib/chat/browser/newChatPickerTelemetry';
 import { ISessionsProvidersService } from '@codingame/monaco-vscode-api/vscode/vs/sessions/services/sessions/browser/sessionsProvidersService.service';
-import { RemoteNewSession, CopilotChatSessionsProvider } from './copilotChatSessionsProvider.js';
+import { RemoteNewSession, CopilotChatSessionsProvider } from '@codingame/monaco-vscode-katex-common/vscode/vs/sessions/contrib/providers/copilotChatSessions/browser/copilotChatSessionsProvider';
 import { autorun } from '@codingame/monaco-vscode-api/vscode/vs/base/common/observableInternal/reactions/autorun';
 
 let SandboxPicker = class SandboxPicker extends Disposable {
@@ -27,8 +27,8 @@ let SandboxPicker = class SandboxPicker extends Disposable {
         this._telemetryService = _telemetryService;
         this._hasRepository = false;
         this._chip = this._register(( new CheckboxChip({
-            label: ( localize(4253, "Sandbox")),
-            ariaLabel: ( localize(4254, "Run in a GitHub-managed sandbox")),
+            label: ( localize(4369, "Sandbox")),
+            ariaLabel: ( localize(4370, "Run in a GitHub-managed sandbox")),
             onToggle: checked => this._applyToggle(checked),
             slotClassName: "sessions-chat-sandbox-checkbox"
         })));
@@ -77,7 +77,7 @@ let SandboxPicker = class SandboxPicker extends Disposable {
         this._chip.update({
             checked: enabled && providerSession?.useSandbox.get() === true,
             state: !enabled ? "hidden" : this._hasRepository ? "enabled" : "disabled",
-            disabledReason: this._hasRepository ? undefined : ( localize(4255, "A repository is required to run in a sandbox"))
+            disabledReason: this._hasRepository ? undefined : ( localize(4371, "A repository is required to run in a sandbox"))
         });
     }
 };

package/vscode/src/vs/sessions/contrib/providers/remoteAgentHost/browser/cloudSandboxAgentHost.contribution.js

@@ -3,7 +3,7 @@ import '@codingame/monaco-vscode-api/vscode/vs/platform/instantiation/common/ext
 import { registerWorkbenchContribution2, WorkbenchPhase } from '@codingame/monaco-vscode-api/vscode/vs/workbench/common/contributions';
 import '@codingame/monaco-vscode-api/vscode/vs/platform/instantiation/common/instantiation';
 import '@codingame/monaco-vscode-api/vscode/vs/sessions/contrib/providers/remoteAgentHost/browser/cloudSandboxAgentHostService';
-import { CloudSandboxAgentHostContribution } from './cloudSandboxAgentHostContribution.js';
+import { CloudSandboxAgentHostContribution } from '@codingame/monaco-vscode-api/vscode/vs/sessions/contrib/providers/remoteAgentHost/browser/cloudSandboxAgentHostContribution';
 import '@codingame/monaco-vscode-api/vscode/vs/sessions/contrib/providers/remoteAgentHost/browser/cloudSandboxApiService';
 import '@codingame/monaco-vscode-api/vscode/vs/sessions/contrib/providers/remoteAgentHost/browser/cloudSandboxTelemetry';
 

package/vscode/src/vs/sessions/contrib/providers/remoteAgentHost/browser/hostFilter.contribution.js

@@ -20,7 +20,7 @@ registerAction2(class PickAgentHostFilterAction extends Action2 {
     constructor() {
         super({
             id: PICK_HOST_FILTER_ID,
-            title: ( localize2(4271, "Select Agent Host")),
+            title: ( localize2(4387, "Select Agent Host")),
             f1: false,
             menu: [{
                 id: Menus.SidebarAgentHost,

package/vscode/src/vs/sessions/contrib/providers/remoteAgentHost/browser/hostFilterActionViewItem.js

@@ -179,7 +179,7 @@ let HostFilterActionViewItem = class HostFilterActionViewItem extends BaseAction
         const retryOnClick = this._retriesOnClick();
         const interactive = this._isInteractive();
         const discovering = this._filterService.isDiscovering;
-        const text = selected ? selected.label : discovering ? ( localize(4272, "Searching…")) : ( localize(4273, "No Host"));
+        const text = selected ? selected.label : discovering ? ( localize(4388, "Searching…")) : ( localize(4389, "No Host"));
         if (this._sidebarButton) {
             this._labelElement.textContent = text;
             this._renderSidebarButtonAffordances(interactive, retryOnClick);
@@ -209,13 +209,13 @@ let HostFilterActionViewItem = class HostFilterActionViewItem extends BaseAction
             } else {
                 this._dropdownElement.removeAttribute("aria-haspopup");
             }
-            const ariaLabel = !selected ? (retryOnClick ? ( localize(4274, "No hosts found. Click to re-discover hosts.")) : ( localize(4275, "No agent host selected."))) : retryOnClick ? ( localize(
-                4276,
+            const ariaLabel = !selected ? (retryOnClick ? ( localize(4390, "No hosts found. Click to re-discover hosts.")) : ( localize(4391, "No agent host selected."))) : retryOnClick ? ( localize(
+                4392,
                 "Sessions scoped to host {0}. Click to re-discover hosts.",
                 selected.label
-            )) : ( localize(4277, "Sessions scoped to host {0}. Click to change host.", selected.label));
+            )) : ( localize(4393, "Sessions scoped to host {0}. Click to change host.", selected.label));
             this._dropdownElement.setAttribute("aria-label", ariaLabel);
-            const hoverText = retryOnClick ? (discovering ? ( localize(4278, "Searching for hosts…")) : ( localize(4279, "Re-discover hosts"))) : ( localize(4280, "Change the host the sessions list is scoped to"));
+            const hoverText = retryOnClick ? (discovering ? ( localize(4394, "Searching for hosts…")) : ( localize(4395, "Re-discover hosts"))) : ( localize(4396, "Change the host the sessions list is scoped to"));
             this._dropdownHover.value = this._hoverService.setupManagedHover(getDefaultHoverDelegate("element"), this._dropdownElement, () => hoverText);
         } else {
             if (!this._sidebarButton) {
@@ -223,7 +223,7 @@ let HostFilterActionViewItem = class HostFilterActionViewItem extends BaseAction
                 this._dropdownElement.removeAttribute("role");
             }
             this._dropdownElement.removeAttribute("aria-haspopup");
-            this._dropdownElement.setAttribute("aria-label", selected ? ( localize(4281, "Sessions scoped to host {0}", selected.label)) : ( localize(4275, "No agent host selected.")));
+            this._dropdownElement.setAttribute("aria-label", selected ? ( localize(4397, "Sessions scoped to host {0}", selected.label)) : ( localize(4391, "No agent host selected.")));
             this._dropdownHover.clear();
         }
         this._updateConnectButton(selected, canRetry, discovering);
@@ -253,7 +253,7 @@ let HostFilterActionViewItem = class HostFilterActionViewItem extends BaseAction
             this._connectElement.tabIndex = 0;
             this._connectElement.classList.add("rediscover");
             this._connectElement.append(...renderLabelWithIcons(`$(${Codicon.refresh.id})`));
-            const hoverText = discovering ? ( localize(4278, "Searching for hosts…")) : ( localize(4279, "Re-discover hosts"));
+            const hoverText = discovering ? ( localize(4394, "Searching for hosts…")) : ( localize(4395, "Re-discover hosts"));
             this._connectElement.setAttribute("aria-label", hoverText);
             this._connectHover.value = this._hoverService.setupManagedHover(getDefaultHoverDelegate("element"), this._connectElement, () => hoverText);
             return;
@@ -278,18 +278,18 @@ let HostFilterActionViewItem = class HostFilterActionViewItem extends BaseAction
         case AgentHostFilterConnectionStatus.Connected:
             iconId = Codicon.debugConnected.id;
             this._connectElement.classList.add("connected");
-            hoverText = ( localize(4282, "Connected to {0}. Click to disconnect.", selected.label));
+            hoverText = ( localize(4398, "Connected to {0}. Click to disconnect.", selected.label));
             break;
         case AgentHostFilterConnectionStatus.Connecting:
             iconId = Codicon.debugConnected.id;
             this._connectElement.classList.add("connecting");
-            hoverText = ( localize(4283, "Connecting to {0}… Click to cancel.", selected.label));
+            hoverText = ( localize(4399, "Connecting to {0}… Click to cancel.", selected.label));
             break;
         case AgentHostFilterConnectionStatus.Disconnected:
         default:
             iconId = Codicon.debugDisconnect.id;
             this._connectElement.classList.add("disconnected");
-            hoverText = ( localize(4284, "Disconnected from {0}. Click to connect.", selected.label));
+            hoverText = ( localize(4400, "Disconnected from {0}. Click to connect.", selected.label));
             break;
         }
         this._connectElement.append(...renderLabelWithIcons(`$(${iconId})`));
@@ -331,7 +331,7 @@ let HostFilterActionViewItem = class HostFilterActionViewItem extends BaseAction
         const selectedId = this._filterService.selectedHostId;
         const actions = [];
         for (const host of hosts) {
-            const label = !host.connectable || host.status === AgentHostFilterConnectionStatus.Connected ? host.label : host.status === AgentHostFilterConnectionStatus.Connecting ? ( localize(4285, "{0} (connecting…)", host.label)) : ( localize(4286, "{0} (disconnected)", host.label));
+            const label = !host.connectable || host.status === AgentHostFilterConnectionStatus.Connected ? host.label : host.status === AgentHostFilterConnectionStatus.Connecting ? ( localize(4401, "{0} (connecting…)", host.label)) : ( localize(4402, "{0} (disconnected)", host.label));
             actions.push(( new Action(
                 `agentHostFilter.host.${host.id}`,
                 label,

package/vscode/src/vs/sessions/contrib/providers/remoteAgentHost/browser/manageRemoteAgentHosts.js

@@ -27,7 +27,7 @@ registerAction2(class extends Action2 {
     constructor() {
         super({
             id: RemoteAgentHostCommandIds.manageRemoteAgentHosts,
-            title: ( localize2(4287, "Manage Remote Agent Hosts...")),
+            title: ( localize2(4403, "Manage Remote Agent Hosts...")),
             category: SessionsCategories.Sessions,
             f1: true,
             precondition: ( ContextKeyExpr.equals(`config.${RemoteAgentHostsEnabledSettingId}`, true))
@@ -44,7 +44,7 @@ registerAction2(class extends Action2 {
         const instantiationService = accessor.get(IInstantiationService);
         const removeButton = {
             iconClass: ThemeIcon.asClassName(Codicon.close),
-            tooltip: ( localize(4288, "Remove"))
+            tooltip: ( localize(4404, "Remove"))
         };
         const buildItems = () => {
             const remoteProviders =
@@ -83,14 +83,14 @@ registerAction2(class extends Action2 {
             if (remoteItems.length > 0) {
                 items.push({
                     type: "separator",
-                    label: ( localize(4289, "Remote Agent Hosts"))
+                    label: ( localize(4405, "Remote Agent Hosts"))
                 });
                 items.push(...remoteItems);
             }
             if (menuActionItems.length > 0) {
                 items.push({
                     type: "separator",
-                    label: ( localize(4290, "Add or Manage"))
+                    label: ( localize(4406, "Add or Manage"))
                 });
                 items.push(...menuActionItems);
             }
@@ -102,8 +102,8 @@ registerAction2(class extends Action2 {
                 useSeparators: true
             });
             store.add(picker);
-            picker.title = ( localize(4291, "Manage Remote Agent Hosts"));
-            picker.placeholder = ( localize(4292, "Select a remote to manage or pick an action"));
+            picker.title = ( localize(4407, "Manage Remote Agent Hosts"));
+            picker.placeholder = ( localize(4408, "Select a remote to manage or pick an action"));
             picker.matchOnDescription = true;
             picker.matchOnDetail = true;
             let lastFilter = "";

package/vscode/src/vs/sessions/contrib/providers/remoteAgentHost/browser/mobileHostFilterActionViewItem.js

@@ -47,7 +47,7 @@ let MobileHostFilterActionViewItem = class MobileHostFilterActionViewItem extend
         const sheet = append(overlay, $("div.host-picker-sheet"));
         sheet.setAttribute("role", "dialog");
         sheet.setAttribute("aria-modal", "true");
-        sheet.setAttribute("aria-label", ( localize(4293, "Hosts")));
+        sheet.setAttribute("aria-label", ( localize(4409, "Hosts")));
         let dismissing = false;
         const finish = () => {
             if (dismissing) {
@@ -74,11 +74,11 @@ let MobileHostFilterActionViewItem = class MobileHostFilterActionViewItem extend
         });
         append(sheet, $("div.host-picker-sheet-handle"));
         const header = append(sheet, $("div.host-picker-sheet-header"));
-        append(header, $("div.host-picker-sheet-title")).textContent = ( localize(4294, "Hosts"));
+        append(header, $("div.host-picker-sheet-title")).textContent = ( localize(4410, "Hosts"));
         const closeBtn = append(header, $("button.host-picker-sheet-close", {
             type: "button"
         }));
-        closeBtn.setAttribute("aria-label", ( localize(4295, "Close")));
+        closeBtn.setAttribute("aria-label", ( localize(4411, "Close")));
         append(closeBtn, $("span.codicon.codicon-close"));
         disposables.add(Gesture.addTarget(closeBtn));
         for (const eventType of [EventType.CLICK, EventType$1.Tap]) {
@@ -88,7 +88,7 @@ let MobileHostFilterActionViewItem = class MobileHostFilterActionViewItem extend
             }));
         }
         append(sheet, $("div.host-picker-sheet-subtitle")).textContent = ( localize(
-            4296,
+            4412,
             "Sessions are scoped to a host. Switching hosts shows that machine's sessions and runs new sessions there."
         ));
         const body = append(sheet, $("div.host-picker-sheet-body"));
@@ -133,10 +133,10 @@ let MobileHostFilterActionViewItem = class MobileHostFilterActionViewItem extend
         const selectedId = this._filterService.selectedHostId;
         if (hosts.length === 0) {
             const empty = append(body, $("div.host-picker-sheet-empty"));
-            empty.textContent = this._filterService.isDiscovering ? ( localize(4297, "Searching for hosts…")) : ( localize(4298, "No hosts found yet."));
+            empty.textContent = this._filterService.isDiscovering ? ( localize(4413, "Searching for hosts…")) : ( localize(4414, "No hosts found yet."));
             return;
         }
-        append(body, $("div.host-picker-sheet-section-title")).textContent = ( localize(4299, "Available"));
+        append(body, $("div.host-picker-sheet-section-title")).textContent = ( localize(4415, "Available"));
         for (const host of hosts) {
             const row = this._renderHostItem(disposables, body, host, selectedId === host.id, finish);
             focusRefs.firstHost ??= row;
@@ -191,12 +191,12 @@ let MobileHostFilterActionViewItem = class MobileHostFilterActionViewItem extend
     _statusLabel(status) {
         switch (status) {
         case AgentHostFilterConnectionStatus.Connected:
-            return localize(4300, "Connected");
+            return localize(4416, "Connected");
         case AgentHostFilterConnectionStatus.Connecting:
-            return localize(4301, "Connecting…");
+            return localize(4417, "Connecting…");
         case AgentHostFilterConnectionStatus.Disconnected:
         default:
-            return localize(4302, "Disconnected");
+            return localize(4418, "Disconnected");
         }
     }
     _renderRediscoverAction(disposables, footer) {
@@ -204,7 +204,7 @@ let MobileHostFilterActionViewItem = class MobileHostFilterActionViewItem extend
             type: "button"
         }));
         action.setAttribute("role", "menuitem");
-        action.setAttribute("aria-label", ( localize(4303, "Re-discover hosts")));
+        action.setAttribute("aria-label", ( localize(4419, "Re-discover hosts")));
         const iconSpan = append(action, $("span.host-picker-sheet-action-icon"));
         iconSpan.append(...renderLabelWithIcons(`$(${Codicon.refresh.id})`));
         const labelSpan = append(action, $("span"));
@@ -212,7 +212,7 @@ let MobileHostFilterActionViewItem = class MobileHostFilterActionViewItem extend
             const discovering = this._filterService.isDiscovering;
             action.classList.toggle("discovering", discovering);
             action.setAttribute("aria-disabled", String(discovering));
-            labelSpan.textContent = discovering ? ( localize(4304, "Searching…")) : ( localize(4305, "Re-discover hosts"));
+            labelSpan.textContent = discovering ? ( localize(4420, "Searching…")) : ( localize(4421, "Re-discover hosts"));
         };
         update();
         disposables.add(this._filterService.onDidChangeDiscovering(update));

package/vscode/src/vs/sessions/contrib/providers/remoteAgentHost/browser/remoteAgentHost.contribution.js

@@ -337,7 +337,7 @@ let RemoteAgentHostContribution = class RemoteAgentHostContribution extends Disp
                 }
                 return [{
                     id: "remoteAgentHost.removeConfiguredPlugin",
-                    label: ( localize(4306, "Remove from Remote Host")),
+                    label: ( localize(4422, "Remove from Remote Host")),
                     icon: Codicon.trash,
                     run: () => pluginController.removeConfiguredPlugin(customization)
                 }];
@@ -525,7 +525,7 @@ registerAction2(OpenAgentHostStateFileAction);
     properties: {
         [RemoteAgentHostsEnabledSettingId]: {
             type: "boolean",
-            description: ( localize(4307, "Enable connecting to remote agent hosts.")),
+            description: ( localize(4423, "Enable connecting to remote agent hosts.")),
             default: true,
             scope: ConfigurationScope.APPLICATION,
             restricted: true,
@@ -534,7 +534,7 @@ registerAction2(OpenAgentHostStateFileAction);
         [RemoteAgentHostAutoConnectSettingId]: {
             type: "boolean",
             description: ( localize(
-                4308,
+                4424,
                 "Automatically connect to online dev tunnel, SSH, and WSL remote agent hosts on startup. When disabled, cached sessions are still shown but connections are established only on demand."
             )),
             default: true,
@@ -544,7 +544,7 @@ registerAction2(OpenAgentHostStateFileAction);
         [CloudSandboxEnabledSettingId]: {
             type: "boolean",
             description: ( localize(
-                4309,
+                4425,
                 "Enable Copilot cloud sandbox sessions over a live Agent Host Protocol relay, for slash commands and a responsive, steerable experience instead of only polling logs. Adds a Sandbox option when starting a cloud session, and connects to the sandbox when opening one."
             )),
             default: false,
@@ -557,7 +557,7 @@ registerAction2(OpenAgentHostStateFileAction);
         "chat.sshRemoteAgentHostCommand": {
             type: "string",
             description: ( localize(
-                4310,
+                4426,
                 "For development: Override the command used to start the remote agent host over SSH. When set, skips automatic CLI installation and runs this command instead. The command must print a WebSocket URL matching ws://127.0.0.1:PORT (optionally with ?tkn=TOKEN) to stdout or stderr./"
             )),
             default: "",
@@ -567,7 +567,7 @@ registerAction2(OpenAgentHostStateFileAction);
         "chat.wslRemoteAgentHostCommand": {
             type: "string",
             description: ( localize(
-                4311,
+                4427,
                 "For development: Override the command used to start the remote agent host in WSL. When set, skips automatic CLI installation and runs this command instead. The command must print a WebSocket URL matching ws://127.0.0.1:PORT (optionally with ?tkn=TOKEN) to stdout or stderr."
             )),
             default: "",
@@ -577,7 +577,7 @@ registerAction2(OpenAgentHostStateFileAction);
         "chat.agentHost.forwardSSHAgent": {
             type: "boolean",
             description: ( localize(
-                4312,
+                4428,
                 "When enabled, forwards the local SSH agent to the remote machine during SSH agent host connections to hosts whose SSH config has `ForwardAgent yes`. Only enable this for trusted hosts. The remote agent host process must be restarted for this setting to take effect."
             )),
             default: false,
@@ -587,7 +587,7 @@ registerAction2(OpenAgentHostStateFileAction);
         [WslAutoStartSettingId]: {
             type: "boolean",
             description: ( localize(
-                4313,
+                4429,
                 "Automatically start a WSL distribution when opening a chat whose distribution is not running. When disabled, the chat shows a Start button instead."
             )),
             default: false,
@@ -602,18 +602,18 @@ registerAction2(OpenAgentHostStateFileAction);
                     address: {
                         type: "string",
                         description: ( localize(
-                            4314,
+                            4430,
                             "The WebSocket address of the remote agent host (e.g. \"localhost:3000\")."
                         ))
                     },
                     name: {
                         type: "string",
-                        description: ( localize(4315, "A display name for this remote agent host."))
+                        description: ( localize(4431, "A display name for this remote agent host."))
                     },
                     connectionToken: {
                         type: "string",
                         description: ( localize(
-                            4316,
+                            4432,
                             "An optional connection token for authenticating with the remote agent host."
                         ))
                     }
@@ -621,7 +621,7 @@ registerAction2(OpenAgentHostStateFileAction);
                 required: ["address", "name"]
             },
             description: ( localize(
-                4317,
+                4433,
                 "A list of WebSocket remote agent host addresses to connect to (e.g. \"localhost:3000\"). SSH remote agent host details are managed by VS Code."
             )),
             default: [],
@@ -635,7 +635,7 @@ registerAction2(OpenAgentHostStateFileAction);
                 type: "string"
             },
             description: ( localize(
-                4318,
+                4434,
                 "Additional dev tunnel names to look for when connecting to remote agent hosts. These are looked up in addition to tunnels automatically enumerated from your account."
             )),
             default: [],
@@ -645,7 +645,7 @@ registerAction2(OpenAgentHostStateFileAction);
         [AgentHostLocalFilePermissionsSettingId]: {
             type: "object",
             description: ( localize(
-                4319,
+                4435,
                 "Per-host filesystem grants for remote agent hosts. Maps a remote agent host address to URI strings and the access mode the host has been granted (`r` for read, `rw` for read and write). Hosts cannot read or write any files outside the granted URIs without prompting; a URI grant covers descendants. This setting is normally maintained by the agent-host permission prompts and rarely edited by hand."
             )),
             additionalProperties: {
@@ -654,7 +654,7 @@ registerAction2(OpenAgentHostStateFileAction);
                     oneOf: [{
                         type: "string",
                         enum: ["r", "rw"],
-                        enumDescriptions: [( localize(4320, "Read-only access.")), ( localize(4321, "Read and write access."))]
+                        enumDescriptions: [( localize(4436, "Read-only access.")), ( localize(4437, "Read and write access."))]
                     }, {
                         type: "object",
                         properties: {
@@ -665,7 +665,7 @@ registerAction2(OpenAgentHostStateFileAction);
                             lexicalUri: {
                                 type: "string",
                                 description: ( localize(
-                                    4322,
+                                    4438,
                                     "Original resource URI used to display accessible directory entries."
                                 ))
                             }