@codingame/monaco-vscode-katex-common 25.1.2 → 26.0.1

package/vscode/src/vs/workbench/contrib/chat/browser/widget/chatAgentHover.js

@@ -24,90 +24,85 @@ let ChatAgentHover = class ChatAgentHover extends Disposable {
         this.chatAgentNameService = chatAgentNameService;
         this._onDidChangeContents = this._register(( new Emitter()));
         this.onDidChangeContents = this._onDidChangeContents.event;
-        const hoverElement = h('.chat-agent-hover@root', [
-            h('.chat-agent-hover-header', [
-                h('.chat-agent-hover-icon@icon'),
-                h('.chat-agent-hover-details', [
-                    h('.chat-agent-hover-name@name'),
-                    h('.chat-agent-hover-extension', [
-                        h('.chat-agent-hover-extension-name@extensionName'),
-                        h('.chat-agent-hover-separator@separator'),
-                        h('.chat-agent-hover-publisher@publisher'),
-                    ]),
-                ]),
-            ]),
-            h('.chat-agent-hover-warning@warning'),
-            h('span.chat-agent-hover-description@description'),
-        ]);
+        const hoverElement = h(".chat-agent-hover@root", [h(
+            ".chat-agent-hover-header",
+            [h(".chat-agent-hover-icon@icon"), h(".chat-agent-hover-details", [
+                h(".chat-agent-hover-name@name"),
+                h(".chat-agent-hover-extension", [
+                    h(".chat-agent-hover-extension-name@extensionName"),
+                    h(".chat-agent-hover-separator@separator"),
+                    h(".chat-agent-hover-publisher@publisher")
+                ])
+            ])]
+        ), h(".chat-agent-hover-warning@warning"), h("span.chat-agent-hover-description@description")]);
         this.domNode = hoverElement.root;
         this.icon = hoverElement.icon;
         this.name = hoverElement.name;
         this.extensionName = hoverElement.extensionName;
         this.description = hoverElement.description;
-        hoverElement.separator.textContent = '|';
-        const verifiedBadge = $('span.extension-verified-publisher', undefined, renderIcon(verifiedPublisherIcon));
-        this.publisherName = $('span.chat-agent-hover-publisher-name');
+        hoverElement.separator.textContent = "|";
+        const verifiedBadge = $(
+            "span.extension-verified-publisher",
+            undefined,
+            renderIcon(verifiedPublisherIcon)
+        );
+        this.publisherName = $("span.chat-agent-hover-publisher-name");
         append(hoverElement.publisher, verifiedBadge, this.publisherName);
         hoverElement.warning.appendChild(renderIcon(Codicon.warning));
-        hoverElement.warning.appendChild($('span', undefined, ( localize(5607, "This chat extension is using a reserved name."))));
+        hoverElement.warning.appendChild($("span", undefined, ( localize(5826, "This chat extension is using a reserved name."))));
     }
     setAgent(id) {
         const agent = this.chatAgentService.getAgent(id);
         if (agent.metadata.icon instanceof URI) {
-            const avatarIcon = $('img.icon');
+            const avatarIcon = $("img.icon");
             avatarIcon.src = ( FileAccess.uriToBrowserUri(agent.metadata.icon).toString(true));
-            this.icon.replaceChildren($('.avatar', undefined, avatarIcon));
-        }
-        else if (agent.metadata.themeIcon) {
+            this.icon.replaceChildren($(".avatar", undefined, avatarIcon));
+        } else if (agent.metadata.themeIcon) {
             const avatarIcon = $(ThemeIcon.asCSSSelector(agent.metadata.themeIcon));
-            this.icon.replaceChildren($('.avatar.codicon-avatar', undefined, avatarIcon));
+            this.icon.replaceChildren($(".avatar.codicon-avatar", undefined, avatarIcon));
         }
-        this.domNode.classList.toggle('noExtensionName', !!agent.isDynamic);
+        this.domNode.classList.toggle("noExtensionName", !!agent.isDynamic);
         const isAllowed = this.chatAgentNameService.getAgentNameRestriction(agent);
         this.name.textContent = isAllowed ? `@${agent.name}` : getFullyQualifiedId(agent);
         this.extensionName.textContent = agent.extensionDisplayName;
         this.publisherName.textContent = agent.publisherDisplayName ?? agent.extensionPublisherId;
-        let description = agent.description ?? '';
+        let description = agent.description ?? "";
         if (description) {
             if (!description.match(/[\.\?\!] *$/)) {
-                description += '.';
+                description += ".";
             }
         }
         this.description.textContent = description;
-        this.domNode.classList.toggle('allowedName', isAllowed);
-        this.domNode.classList.toggle('verifiedPublisher', false);
+        this.domNode.classList.toggle("allowedName", isAllowed);
+        this.domNode.classList.toggle("verifiedPublisher", false);
         if (!agent.isDynamic) {
             const cancel = this._register(( new CancellationTokenSource()));
-            this.extensionService.getExtensions([{ id: agent.extensionId.value }], cancel.token).then(extensions => {
+            this.extensionService.getExtensions([{
+                id: agent.extensionId.value
+            }], cancel.token).then(extensions => {
                 cancel.dispose();
                 const extension = extensions[0];
                 if (extension?.publisherDomain?.verified) {
-                    this.domNode.classList.toggle('verifiedPublisher', true);
+                    this.domNode.classList.toggle("verifiedPublisher", true);
                     this._onDidChangeContents.fire();
                 }
             });
         }
     }
 };
-ChatAgentHover = ( __decorate([
-    ( __param(0, IChatAgentService)),
-    ( __param(1, IExtensionsWorkbenchService)),
-    ( __param(2, IChatAgentNameService))
-], ChatAgentHover));
+ChatAgentHover = ( __decorate([( __param(0, IChatAgentService)), ( __param(1, IExtensionsWorkbenchService)), ( __param(2, IChatAgentNameService))], ChatAgentHover));
 function getChatAgentHoverOptions(getAgent, commandService) {
     return {
-        actions: [
-            {
-                commandId: showExtensionsWithIdsCommandId,
-                label: ( localize(5608, "View Extension")),
-                run: () => {
-                    const agent = getAgent();
-                    if (agent) {
-                        commandService.executeCommand(showExtensionsWithIdsCommandId, [agent.extensionId.value]);
-                    }
-                },
+        actions: [{
+            commandId: showExtensionsWithIdsCommandId,
+            label: ( localize(5827, "View Extension")),
+            run: () => {
+                const agent = getAgent();
+                if (agent) {
+                    commandService.executeCommand(showExtensionsWithIdsCommandId, [agent.extensionId.value]);
+                }
             }
-        ]
+        }]
     };
 }
 

package/vscode/src/vs/workbench/contrib/chat/browser/widget/chatContentMarkdownRenderer.js

@@ -11,44 +11,50 @@ import { IOpenerService } from '@codingame/monaco-vscode-api/vscode/vs/platform/
 import product from '@codingame/monaco-vscode-api/vscode/vs/platform/product/common/product';
 
 const allowedChatMarkdownHtmlTags = ( Object.freeze([
-    'b',
-    'blockquote',
-    'br',
-    'code',
-    'del',
-    'em',
-    'h1',
-    'h2',
-    'h3',
-    'h4',
-    'h5',
-    'h6',
-    'hr',
-    'i',
-    'ins',
-    'li',
-    'ol',
-    'p',
-    'pre',
-    's',
-    'strong',
-    'sub',
-    'sup',
-    'table',
-    'tbody',
-    'td',
-    'th',
-    'thead',
-    'tr',
-    'ul',
-    'a',
-    'img',
-    'span',
-    'div',
-    'input',
+    "b",
+    "blockquote",
+    "br",
+    "code",
+    "del",
+    "em",
+    "h1",
+    "h2",
+    "h3",
+    "h4",
+    "h5",
+    "h6",
+    "hr",
+    "i",
+    "ins",
+    "li",
+    "ol",
+    "p",
+    "pre",
+    "s",
+    "strong",
+    "sub",
+    "sup",
+    "table",
+    "tbody",
+    "td",
+    "th",
+    "thead",
+    "tr",
+    "ul",
+    "a",
+    "img",
+    "span",
+    "div",
+    "input"
 ]));
 let ChatContentMarkdownRenderer = class ChatContentMarkdownRenderer {
-    constructor(languageService, openerService, configurationService, hoverService, markdownRendererService) {
+    constructor(
+        languageService,
+        openerService,
+        configurationService,
+        hoverService,
+        markdownRendererService
+    ) {
         this.hoverService = hoverService;
         this.markdownRendererService = markdownRendererService;
     }
@@ -58,35 +64,37 @@ let ChatContentMarkdownRenderer = class ChatContentMarkdownRenderer {
             sanitizerConfig: {
                 replaceWithPlaintext: true,
                 allowedTags: {
-                    override: allowedChatMarkdownHtmlTags,
+                    override: allowedChatMarkdownHtmlTags
                 },
                 ...options?.sanitizerConfig,
-                allowedLinkSchemes: { augment: [product.urlProtocol] },
-                remoteImageIsAllowed: (_uri) => false,
+                allowedLinkSchemes: {
+                    augment: [product.urlProtocol]
+                },
+                remoteImageIsAllowed: _uri => false
             }
         };
-        const mdWithBody = (markdown && markdown.supportHtml) ?
-            {
-                ...markdown,
-                value: `<body>\n\n${markdown.value}</body>`,
-            }
-            : markdown;
+        const mdWithBody = (markdown && markdown.supportHtml) ? {
+            ...markdown,
+            value: `<body>\n\n${markdown.value}</body>`
+        } : markdown;
         const result = this.markdownRendererService.render(mdWithBody, options, outElement);
         result.element.normalize();
         for (const child of result.element.childNodes) {
             if (child.nodeType === Node.TEXT_NODE && child.textContent?.trim()) {
-                child.replaceWith($('p', undefined, child.textContent));
+                child.replaceWith($("p", undefined, child.textContent));
             }
         }
         return this.attachCustomHover(result);
     }
     attachCustomHover(result) {
         const store = ( new DisposableStore());
-        result.element.querySelectorAll('a').forEach((element) => {
+        result.element.querySelectorAll("a").forEach(element => {
             if (element.title) {
                 const title = element.title;
-                element.title = '';
-                store.add(this.hoverService.setupManagedHover(getDefaultHoverDelegate('element'), element, title));
+                element.title = "";
+                store.add(
+                    this.hoverService.setupManagedHover(getDefaultHoverDelegate("element"), element, title)
+                );
             }
         });
         return {
@@ -98,12 +106,6 @@ let ChatContentMarkdownRenderer = class ChatContentMarkdownRenderer {
         };
     }
 };
-ChatContentMarkdownRenderer = ( __decorate([
-    ( __param(0, ILanguageService)),
-    ( __param(1, IOpenerService)),
-    ( __param(2, IConfigurationService)),
-    ( __param(3, IHoverService)),
-    ( __param(4, IMarkdownRendererService))
-], ChatContentMarkdownRenderer));
+ChatContentMarkdownRenderer = ( __decorate([( __param(0, ILanguageService)), ( __param(1, IOpenerService)), ( __param(2, IConfigurationService)), ( __param(3, IHoverService)), ( __param(4, IMarkdownRendererService))], ChatContentMarkdownRenderer));
 
 export { ChatContentMarkdownRenderer, allowedChatMarkdownHtmlTags };

package/vscode/src/vs/workbench/contrib/chat/browser/widget/chatContentParts/chatAgentCommandContentPart.js

@@ -14,34 +14,38 @@ let ChatAgentCommandContentPart = class ChatAgentCommandContentPart extends Disp
     constructor(cmd, onClick, _hoverService) {
         super();
         this._hoverService = _hoverService;
-        this.domNode = createElement('span');
-        this.domNode.classList.add('chat-agent-command');
-        this.domNode.setAttribute('aria-label', cmd.name);
-        this.domNode.setAttribute('role', 'button');
+        this.domNode = createElement("span");
+        this.domNode.classList.add("chat-agent-command");
+        this.domNode.setAttribute("aria-label", cmd.name);
+        this.domNode.setAttribute("role", "button");
         const groupId = generateUuid();
-        const commandSpan = createElement('span');
+        const commandSpan = createElement("span");
         this.domNode.appendChild(commandSpan);
         commandSpan.innerText = chatSubcommandLeader + cmd.name;
         this._store.add(this._hoverService.setupDelayedHover(commandSpan, {
             content: cmd.description,
-            style: HoverStyle.Pointer,
-        }, { groupId }));
-        const rerun = ( localize(5609, "Rerun without {0}{1}", chatSubcommandLeader, cmd.name));
-        const btn = ( new Button(this.domNode, { ariaLabel: rerun }));
+            style: HoverStyle.Pointer
+        }, {
+            groupId
+        }));
+        const rerun = ( localize(5828, "Rerun without {0}{1}", chatSubcommandLeader, cmd.name));
+        const btn = ( new Button(this.domNode, {
+            ariaLabel: rerun
+        }));
         btn.icon = Codicon.close;
         this._store.add(btn.onDidClick(() => onClick()));
         this._store.add(btn);
         this._store.add(this._hoverService.setupDelayedHover(btn.element, {
             content: rerun,
-            style: HoverStyle.Pointer,
-        }, { groupId }));
+            style: HoverStyle.Pointer
+        }, {
+            groupId
+        }));
     }
     hasSameContent(other, followingContent, element) {
         return false;
     }
 };
-ChatAgentCommandContentPart = ( __decorate([
-    ( __param(2, IHoverService))
-], ChatAgentCommandContentPart));
+ChatAgentCommandContentPart = ( __decorate([( __param(2, IHoverService))], ChatAgentCommandContentPart));
 
 export { ChatAgentCommandContentPart };

package/vscode/src/vs/workbench/contrib/chat/browser/widget/chatContentParts/chatAnonymousRateLimitedPart.js

@@ -15,21 +15,27 @@ let ChatAnonymousRateLimitedPart = class ChatAnonymousRateLimitedPart extends Di
     constructor(content, commandService, telemetryService, chatEntitlementService) {
         super();
         this.content = content;
-        this.domNode = $('.chat-rate-limited-widget');
-        const icon = append(this.domNode, $('span'));
+        this.domNode = $(".chat-rate-limited-widget");
+        const icon = append(this.domNode, $("span"));
         icon.classList.add(...ThemeIcon.asClassNameArray(Codicon.info));
-        const messageContainer = append(this.domNode, $('.chat-rate-limited-message'));
-        const message = append(messageContainer, $('div'));
+        const messageContainer = append(this.domNode, $(".chat-rate-limited-message"));
+        const message = append(messageContainer, $("div"));
         message.textContent = ( localize(
-            5610,
+            5829,
             "Continue the conversation by signing in. Your free account gets 50 premium requests a month plus access to more models and AI features."
         ));
-        const signInButton = this._register(( new Button(messageContainer, { ...defaultButtonStyles, supportIcons: true })));
-        signInButton.label = ( localize(5611, "Enable more AI features"));
-        signInButton.element.classList.add('chat-rate-limited-button');
+        const signInButton = this._register(( new Button(messageContainer, {
+            ...defaultButtonStyles,
+            supportIcons: true
+        })));
+        signInButton.label = ( localize(5830, "Enable more AI features"));
+        signInButton.element.classList.add("chat-rate-limited-button");
         this._register(signInButton.onDidClick(async () => {
-            const commandId = 'workbench.action.chat.triggerSetup';
-            telemetryService.publicLog2('workbenchActionExecuted', { id: commandId, from: 'chat-response' });
+            const commandId = "workbench.action.chat.triggerSetup";
+            telemetryService.publicLog2("workbenchActionExecuted", {
+                id: commandId,
+                from: "chat-response"
+            });
             await commandService.executeCommand(commandId);
         }));
     }
@@ -40,10 +46,6 @@ let ChatAnonymousRateLimitedPart = class ChatAnonymousRateLimitedPart extends Di
         this._register(disposable);
     }
 };
-ChatAnonymousRateLimitedPart = ( __decorate([
-    ( __param(1, ICommandService)),
-    ( __param(2, ITelemetryService)),
-    ( __param(3, IChatEntitlementService))
-], ChatAnonymousRateLimitedPart));
+ChatAnonymousRateLimitedPart = ( __decorate([( __param(1, ICommandService)), ( __param(2, ITelemetryService)), ( __param(3, IChatEntitlementService))], ChatAnonymousRateLimitedPart));
 
 export { ChatAnonymousRateLimitedPart };

package/vscode/src/vs/workbench/contrib/chat/browser/widget/chatContentParts/chatAttachmentsContentPart.d.ts

@@ -3,7 +3,7 @@ import { IInstantiationService } from "@codingame/monaco-vscode-api/vscode/vs/pl
 import { IChatRequestVariableEntry } from "@codingame/monaco-vscode-api/vscode/vs/workbench/contrib/chat/common/attachments/chatVariableEntries";
 import { IChatContentReference } from "@codingame/monaco-vscode-api/vscode/vs/workbench/contrib/chat/common/chatService/chatService";
 export interface IChatAttachmentsContentPartOptions {
-    readonly variables: IChatRequestVariableEntry[];
+    readonly variables: readonly IChatRequestVariableEntry[];
     readonly contentReferences?: ReadonlyArray<IChatContentReference>;
     readonly domNode?: HTMLElement;
     readonly limit?: number;
@@ -14,12 +14,16 @@ export declare class ChatAttachmentsContentPart extends Disposable {
     private readonly _onDidChangeVisibility;
     private readonly _contextResourceLabels;
     private _showingAll;
-    private readonly variables;
+    private _variables;
     private readonly contentReferences;
     private readonly limit?;
     readonly domNode: HTMLElement | undefined;
     contextMenuHandler?: (attachment: IChatRequestVariableEntry, event: MouseEvent) => void;
     constructor(options: IChatAttachmentsContentPartOptions, instantiationService: IInstantiationService);
+    /**
+     * Update the variables and re-render the attachments in place.
+     */
+    updateVariables(variables: readonly IChatRequestVariableEntry[]): void;
     private initAttachedContext;
     private getVisibleAttachments;
     private renderShowMoreButton;