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

package/vscode/src/vs/workbench/contrib/chat/browser/actions/chatTitleActions.js

@@ -19,42 +19,42 @@ import { ChatAgentVoteDirection } from '@codingame/monaco-vscode-api/vscode/vs/w
 import { IChatService } from '@codingame/monaco-vscode-api/vscode/vs/workbench/contrib/chat/common/chatService/chatService.service';
 import { isResponseVM } from '@codingame/monaco-vscode-api/vscode/vs/workbench/contrib/chat/common/model/chatViewModel';
 import { ChatModeKind } from '@codingame/monaco-vscode-api/vscode/vs/workbench/contrib/chat/common/constants';
-import { IChatWidgetService } from '@codingame/monaco-vscode-api/vscode/vs/workbench/contrib/chat/browser/chat.service';
+import { IChatWidgetService, IChatAccessibilityService } from '@codingame/monaco-vscode-api/vscode/vs/workbench/contrib/chat/browser/chat.service';
 import { CHAT_CATEGORY } from '@codingame/monaco-vscode-api/vscode/vs/workbench/contrib/chat/browser/actions/chatActions';
 
-const MarkUnhelpfulActionId = 'workbench.action.chat.markUnhelpful';
-const enableFeedbackConfig = 'config.telemetry.feedback.enabled';
+const MarkUnhelpfulActionId = "workbench.action.chat.markUnhelpful";
+const enableFeedbackConfig = "config.telemetry.feedback.enabled";
 function registerChatTitleActions() {
     registerAction2(class MarkHelpfulAction extends Action2 {
         constructor() {
             super({
-                id: 'workbench.action.chat.markHelpful',
-                title: ( localize2(4797, "Helpful")),
+                id: "workbench.action.chat.markHelpful",
+                title: ( localize2(4841, "Helpful")),
                 f1: false,
                 category: CHAT_CATEGORY,
                 icon: Codicon.thumbsup,
-                toggled: ( ChatContextKeys.responseVote.isEqualTo('up')),
+                toggled: ( ChatContextKeys.responseVote.isEqualTo("up")),
                 menu: [{
-                        id: MenuId.ChatMessageFooter,
-                        group: 'navigation',
-                        order: 2,
-                        when: ( ContextKeyExpr.and(
-                            ChatContextKeys.extensionParticipantRegistered,
-                            ChatContextKeys.isResponse,
-                            ( ChatContextKeys.responseHasError.negate()),
-                            ( ContextKeyExpr.has(enableFeedbackConfig))
-                        ))
-                    }, {
-                        id: MENU_INLINE_CHAT_WIDGET_SECONDARY,
-                        group: 'navigation',
-                        order: 1,
-                        when: ( ContextKeyExpr.and(
-                            ChatContextKeys.extensionParticipantRegistered,
-                            ChatContextKeys.isResponse,
-                            ( ChatContextKeys.responseHasError.negate()),
-                            ( ContextKeyExpr.has(enableFeedbackConfig))
-                        ))
-                    }]
+                    id: MenuId.ChatMessageFooter,
+                    group: "navigation",
+                    order: 2,
+                    when: ( ContextKeyExpr.and(
+                        ChatContextKeys.extensionParticipantRegistered,
+                        ChatContextKeys.isResponse,
+                        ( ChatContextKeys.responseHasError.negate()),
+                        ( ContextKeyExpr.has(enableFeedbackConfig))
+                    ))
+                }, {
+                    id: MENU_INLINE_CHAT_WIDGET_SECONDARY,
+                    group: "navigation",
+                    order: 1,
+                    when: ( ContextKeyExpr.and(
+                        ChatContextKeys.extensionParticipantRegistered,
+                        ChatContextKeys.isResponse,
+                        ( ChatContextKeys.responseHasError.negate()),
+                        ( ContextKeyExpr.has(enableFeedbackConfig))
+                    ))
+                }]
             });
         }
         run(accessor, ...args) {
@@ -70,7 +70,7 @@ function registerChatTitleActions() {
                 requestId: item.requestId,
                 result: item.result,
                 action: {
-                    kind: 'vote',
+                    kind: "vote",
                     direction: ChatAgentVoteDirection.Up,
                     reason: undefined
                 }
@@ -83,31 +83,31 @@ function registerChatTitleActions() {
         constructor() {
             super({
                 id: MarkUnhelpfulActionId,
-                title: ( localize2(4798, "Unhelpful")),
+                title: ( localize2(4842, "Unhelpful")),
                 f1: false,
                 category: CHAT_CATEGORY,
                 icon: Codicon.thumbsdown,
-                toggled: ( ChatContextKeys.responseVote.isEqualTo('down')),
+                toggled: ( ChatContextKeys.responseVote.isEqualTo("down")),
                 menu: [{
-                        id: MenuId.ChatMessageFooter,
-                        group: 'navigation',
-                        order: 3,
-                        when: ( ContextKeyExpr.and(
-                            ChatContextKeys.extensionParticipantRegistered,
-                            ChatContextKeys.isResponse,
-                            ( ContextKeyExpr.has(enableFeedbackConfig))
-                        ))
-                    }, {
-                        id: MENU_INLINE_CHAT_WIDGET_SECONDARY,
-                        group: 'navigation',
-                        order: 2,
-                        when: ( ContextKeyExpr.and(
-                            ChatContextKeys.extensionParticipantRegistered,
-                            ChatContextKeys.isResponse,
-                            ( ChatContextKeys.responseHasError.negate()),
-                            ( ContextKeyExpr.has(enableFeedbackConfig))
-                        ))
-                    }]
+                    id: MenuId.ChatMessageFooter,
+                    group: "navigation",
+                    order: 3,
+                    when: ( ContextKeyExpr.and(
+                        ChatContextKeys.extensionParticipantRegistered,
+                        ChatContextKeys.isResponse,
+                        ( ContextKeyExpr.has(enableFeedbackConfig))
+                    ))
+                }, {
+                    id: MENU_INLINE_CHAT_WIDGET_SECONDARY,
+                    group: "navigation",
+                    order: 2,
+                    when: ( ContextKeyExpr.and(
+                        ChatContextKeys.extensionParticipantRegistered,
+                        ChatContextKeys.isResponse,
+                        ( ChatContextKeys.responseHasError.negate()),
+                        ( ContextKeyExpr.has(enableFeedbackConfig))
+                    ))
+                }]
             });
         }
         run(accessor, ...args) {
@@ -116,7 +116,7 @@ function registerChatTitleActions() {
                 return;
             }
             const reason = args[1];
-            if (typeof reason !== 'string') {
+            if (typeof reason !== "string") {
                 return;
             }
             item.setVote(ChatAgentVoteDirection.Down);
@@ -129,7 +129,7 @@ function registerChatTitleActions() {
                 requestId: item.requestId,
                 result: item.result,
                 action: {
-                    kind: 'vote',
+                    kind: "vote",
                     direction: ChatAgentVoteDirection.Down,
                     reason: item.voteDownReason
                 }
@@ -139,30 +139,30 @@ function registerChatTitleActions() {
     registerAction2(class ReportIssueForBugAction extends Action2 {
         constructor() {
             super({
-                id: 'workbench.action.chat.reportIssueForBug',
-                title: ( localize2(4799, "Report Issue")),
+                id: "workbench.action.chat.reportIssueForBug",
+                title: ( localize2(4843, "Report Issue")),
                 f1: false,
                 category: CHAT_CATEGORY,
                 icon: Codicon.report,
                 menu: [{
-                        id: MenuId.ChatMessageFooter,
-                        group: 'navigation',
-                        order: 4,
-                        when: ( ContextKeyExpr.and(
-                            ChatContextKeys.responseSupportsIssueReporting,
-                            ChatContextKeys.isResponse,
-                            ( ContextKeyExpr.has(enableFeedbackConfig))
-                        ))
-                    }, {
-                        id: MENU_INLINE_CHAT_WIDGET_SECONDARY,
-                        group: 'navigation',
-                        order: 3,
-                        when: ( ContextKeyExpr.and(
-                            ChatContextKeys.responseSupportsIssueReporting,
-                            ChatContextKeys.isResponse,
-                            ( ContextKeyExpr.has(enableFeedbackConfig))
-                        ))
-                    }]
+                    id: MenuId.ChatMessageFooter,
+                    group: "navigation",
+                    order: 4,
+                    when: ( ContextKeyExpr.and(
+                        ChatContextKeys.responseSupportsIssueReporting,
+                        ChatContextKeys.isResponse,
+                        ( ContextKeyExpr.has(enableFeedbackConfig))
+                    ))
+                }, {
+                    id: MENU_INLINE_CHAT_WIDGET_SECONDARY,
+                    group: "navigation",
+                    order: 3,
+                    when: ( ContextKeyExpr.and(
+                        ChatContextKeys.responseSupportsIssueReporting,
+                        ChatContextKeys.isResponse,
+                        ( ContextKeyExpr.has(enableFeedbackConfig))
+                    ))
+                }]
             });
         }
         run(accessor, ...args) {
@@ -178,7 +178,7 @@ function registerChatTitleActions() {
                 requestId: item.requestId,
                 result: item.result,
                 action: {
-                    kind: 'bug'
+                    kind: "bug"
                 }
             });
         }
@@ -186,31 +186,32 @@ function registerChatTitleActions() {
     registerAction2(class RetryChatAction extends Action2 {
         constructor() {
             super({
-                id: 'workbench.action.chat.retry',
-                title: ( localize2(4800, "Retry")),
+                id: "workbench.action.chat.retry",
+                title: ( localize2(4844, "Retry")),
                 f1: false,
                 category: CHAT_CATEGORY,
                 icon: Codicon.refresh,
-                menu: [
-                    {
-                        id: MenuId.ChatMessageFooter,
-                        group: 'navigation',
-                        when: ( ContextKeyExpr.and(
-                            ChatContextKeys.isResponse,
-                            ContextKeyExpr.in(ChatContextKeys.itemId.key, ChatContextKeys.lastItemId.key)
-                        ))
-                    },
-                    {
-                        id: MenuId.ChatEditingWidgetToolbar,
-                        group: 'navigation',
-                        when: applyingChatEditsFailedContextKey,
-                        order: 0
-                    }
-                ]
+                menu: [{
+                    id: MenuId.ChatMessageFooter,
+                    group: "navigation",
+                    when: ( ContextKeyExpr.and(
+                        ChatContextKeys.isResponse,
+                        ContextKeyExpr.in(ChatContextKeys.itemId.key, ChatContextKeys.lastItemId.key)
+                    ))
+                }, {
+                    id: MenuId.ChatEditingWidgetToolbar,
+                    group: "navigation",
+                    when: applyingChatEditsFailedContextKey,
+                    order: 0
+                }]
             });
         }
         async run(accessor, ...args) {
             const chatWidgetService = accessor.get(IChatWidgetService);
+            const chatAccessibilityService = accessor.get(IChatAccessibilityService);
+            const chatService = accessor.get(IChatService);
+            const configurationService = accessor.get(IConfigurationService);
+            const dialogService = accessor.get(IDialogService);
             let item = args[0];
             if (isChatEditingActionContext(item)) {
                 item = chatWidgetService.getWidgetBySessionResource(item.sessionResource)?.viewModel?.getItems().at(-1);
@@ -218,7 +219,6 @@ function registerChatTitleActions() {
             if (!isResponseVM(item)) {
                 return;
             }
-            const chatService = accessor.get(IChatService);
             const chatModel = chatService.getSession(item.sessionResource);
             const chatRequests = chatModel?.getRequests();
             if (!chatRequests) {
@@ -228,38 +228,37 @@ function registerChatTitleActions() {
             const widget = chatWidgetService.getWidgetBySessionResource(item.sessionResource);
             const mode = widget?.input.currentModeKind;
             if (chatModel && (mode === ChatModeKind.Edit || mode === ChatModeKind.Agent)) {
-                const configurationService = accessor.get(IConfigurationService);
-                const dialogService = accessor.get(IDialogService);
                 const currentEditingSession = widget?.viewModel?.model.editingSession;
                 if (!currentEditingSession) {
                     return;
                 }
-                const entriesModifiedInLastRequest = currentEditingSession.entries.get().filter((entry) => entry.lastModifyingRequestId === item.requestId);
-                const shouldPrompt = entriesModifiedInLastRequest.length > 0 && configurationService.getValue('chat.editing.confirmEditRequestRetry') === true;
-                const confirmation = shouldPrompt
-                    ? await dialogService.confirm({
-                        title: ( localize(4801, "Do you want to retry your last request?")),
-                        message: entriesModifiedInLastRequest.length === 1
-                            ? ( localize(
-                            4802,
-                            "This will undo edits made to {0} since this request.",
-                            basename(entriesModifiedInLastRequest[0].modifiedURI)
-                        ))
-                            : ( localize(
-                            4803,
-                            "This will undo edits made to {0} files in your working set since this request. Do you want to proceed?",
-                            entriesModifiedInLastRequest.length
-                        )),
-                        primaryButton: ( localize(4804, "Yes")),
-                        checkbox: { label: ( localize(4805, "Don't ask again")), checked: false },
-                        type: 'info'
-                    })
-                    : { confirmed: true };
+                const entriesModifiedInLastRequest = currentEditingSession.entries.get().filter(entry => entry.lastModifyingRequestId === item.requestId);
+                const shouldPrompt = entriesModifiedInLastRequest.length > 0 && configurationService.getValue("chat.editing.confirmEditRequestRetry") === true;
+                const confirmation = shouldPrompt ? await dialogService.confirm({
+                    title: ( localize(4845, "Do you want to retry your last request?")),
+                    message: entriesModifiedInLastRequest.length === 1 ? ( localize(
+                        4846,
+                        "This will undo edits made to {0} since this request.",
+                        basename(entriesModifiedInLastRequest[0].modifiedURI)
+                    )) : ( localize(
+                        4847,
+                        "This will undo edits made to {0} files in your working set since this request. Do you want to proceed?",
+                        entriesModifiedInLastRequest.length
+                    )),
+                    primaryButton: ( localize(4848, "Yes")),
+                    checkbox: {
+                        label: ( localize(4849, "Don't ask again")),
+                        checked: false
+                    },
+                    type: "info"
+                }) : {
+                    confirmed: true
+                };
                 if (!confirmation.confirmed) {
                     return;
                 }
                 if (confirmation.checkboxChecked) {
-                    await configurationService.updateValue('chat.editing.confirmEditRequestRetry', false);
+                    await configurationService.updateValue("chat.editing.confirmEditRequestRetry", false);
                 }
                 const snapshotRequest = chatRequests[itemIndex];
                 if (snapshotRequest) {
@@ -268,24 +267,25 @@ function registerChatTitleActions() {
             }
             const request = chatModel?.getRequests().find(candidate => candidate.id === item.requestId);
             const languageModelId = widget?.input.currentLanguageModel;
+            chatAccessibilityService.acceptRequest(item.sessionResource);
             chatService.resendRequest(request, {
                 userSelectedModelId: languageModelId,
                 attempt: (request?.attempt ?? -1) + 1,
-                ...widget?.getModeRequestOptions(),
+                ...widget?.getModeRequestOptions()
             });
         }
     });
     registerAction2(class InsertToNotebookAction extends Action2 {
         constructor() {
             super({
-                id: 'workbench.action.chat.insertIntoNotebook',
-                title: ( localize2(4806, "Insert into Notebook")),
+                id: "workbench.action.chat.insertIntoNotebook",
+                title: ( localize2(4850, "Insert into Notebook")),
                 f1: false,
                 category: CHAT_CATEGORY,
                 icon: Codicon.insert,
                 menu: {
                     id: MenuId.ChatMessageFooter,
-                    group: 'navigation',
+                    group: "navigation",
                     isHiddenByDefault: true,
                     when: ( ContextKeyExpr.and(NOTEBOOK_IS_ACTIVE_EDITOR, ChatContextKeys.isResponse, ( ChatContextKeys.responseIsFiltered.negate())))
                 }
@@ -310,26 +310,26 @@ function registerChatTitleActions() {
                 const focusRange = notebookEditor.getFocus();
                 const index = Math.max(focusRange.end, 0);
                 const bulkEditService = accessor.get(IBulkEditService);
-                await bulkEditService.apply([
-                    ( new ResourceNotebookCellEdit(notebookEditor.textModel.uri, {
-                        editType: CellEditType.Replace,
-                        index: index,
-                        count: 0,
-                        cells: ( splitContents.map(content => {
-                            const kind = content.type === 'markdown' ? CellKind.Markup : CellKind.Code;
-                            const language = content.type === 'markdown' ? 'markdown' : content.language;
-                            const mime = content.type === 'markdown' ? 'text/markdown' : `text/x-${content.language}`;
-                            return {
-                                cellKind: kind,
-                                language,
-                                mime,
-                                source: content.content,
-                                outputs: [],
-                                metadata: {}
-                            };
-                        }))
+                await bulkEditService.apply([( new ResourceNotebookCellEdit(notebookEditor.textModel.uri, {
+                    editType: CellEditType.Replace,
+                    index: index,
+                    count: 0,
+                    cells: ( splitContents.map(content => {
+                        const kind = content.type === "markdown" ? CellKind.Markup : CellKind.Code;
+                        const language = content.type === "markdown" ? "markdown" : content.language;
+                        const mime = content.type === "markdown" ? "text/markdown" : `text/x-${content.language}`;
+                        return {
+                            cellKind: kind,
+                            language,
+                            mime,
+                            source: content.content,
+                            outputs: [],
+                            metadata: {}
+                        };
                     }))
-                ], { quotableLabel: 'Insert into Notebook' });
+                }))], {
+                    quotableLabel: "Insert into Notebook"
+                });
             }
         }
     });
@@ -338,25 +338,30 @@ function splitMarkdownAndCodeBlocks(markdown) {
     const lexer = new marked.Lexer();
     const tokens = lexer.lex(markdown);
     const splitContent = [];
-    let markdownPart = '';
-    tokens.forEach((token) => {
-        if (token.type === 'code') {
+    let markdownPart = "";
+    tokens.forEach(token => {
+        if (token.type === "code") {
             if (markdownPart.trim()) {
-                splitContent.push({ type: 'markdown', content: markdownPart });
-                markdownPart = '';
+                splitContent.push({
+                    type: "markdown",
+                    content: markdownPart
+                });
+                markdownPart = "";
             }
             splitContent.push({
-                type: 'code',
-                language: token.lang || '',
-                content: token.text,
+                type: "code",
+                language: token.lang || "",
+                content: token.text
             });
-        }
-        else {
+        } else {
             markdownPart += token.raw;
         }
     });
     if (markdownPart.trim()) {
-        splitContent.push({ type: 'markdown', content: markdownPart });
+        splitContent.push({
+            type: "markdown",
+            content: markdownPart
+        });
     }
     return splitContent;
 }

package/vscode/src/vs/workbench/contrib/chat/browser/agentSessions/agentSessionHoverWidget.d.ts

@@ -0,0 +1,27 @@
+import { Disposable } from "@codingame/monaco-vscode-api/vscode/vs/base/common/lifecycle";
+import { IInstantiationService } from "@codingame/monaco-vscode-api/vscode/vs/platform/instantiation/common/instantiation";
+import { IChatService } from "@codingame/monaco-vscode-api/vscode/vs/workbench/contrib/chat/common/chatService/chatService.service";
+import { IChatWidgetService } from "@codingame/monaco-vscode-api/vscode/vs/workbench/contrib/chat/browser/chat.service";
+import { IAgentSession } from "@codingame/monaco-vscode-api/vscode/vs/workbench/contrib/chat/browser/agentSessions/agentSessionsModel";
+export declare class AgentSessionHoverWidget extends Disposable {
+    readonly session: IAgentSession;
+    private readonly chatService;
+    private readonly instantiationService;
+    private readonly chatWidgetService;
+    readonly domNode: HTMLElement;
+    private modelRef?;
+    private listWidget?;
+    private readonly contentElement;
+    private readonly loadingElement;
+    private readonly renderScheduler;
+    private hasRendered;
+    private readonly cts;
+    constructor(session: IAgentSession, chatService: IChatService, instantiationService: IInstantiationService, chatWidgetService: IChatWidgetService);
+    onRendered(): void;
+    private loadModel;
+    private render;
+    private buildHeader;
+    private buildFallbackTooltip;
+    private toDuration;
+    private toStatusLabel;
+}