@codingame/monaco-vscode-katex-common 26.2.1 → 27.0.0

package/vscode/src/vs/workbench/contrib/chat/browser/agentSessions/agentSessionsControl.js

@@ -13,13 +13,15 @@ import { IMenuService } from '@codingame/monaco-vscode-api/vscode/vs/platform/ac
 import { IChatSessionsService } from '@codingame/monaco-vscode-api/vscode/vs/workbench/contrib/chat/common/chatSessionsService.service';
 import { ICommandService } from '@codingame/monaco-vscode-api/vscode/vs/platform/commands/common/commands.service';
 import { ACTION_ID_NEW_CHAT } from '@codingame/monaco-vscode-api/vscode/vs/workbench/contrib/chat/browser/actions/chatActions';
-import { Event } from '@codingame/monaco-vscode-api/vscode/vs/base/common/event';
+import { Emitter, Event } from '@codingame/monaco-vscode-api/vscode/vs/base/common/event';
 import { Disposable } from '@codingame/monaco-vscode-api/vscode/vs/base/common/lifecycle';
+import { Throttler } from '@codingame/monaco-vscode-api/vscode/vs/base/common/async';
 import { MarshalledId } from '@codingame/monaco-vscode-api/vscode/vs/base/common/marshallingIds';
 import { Separator } from '@codingame/monaco-vscode-api/vscode/vs/base/common/actions';
 import { RenderIndentGuides, TreeFindMode } from '@codingame/monaco-vscode-api/vscode/vs/base/browser/ui/tree/abstractTree';
 import { IAgentSessionsService } from '@codingame/monaco-vscode-api/vscode/vs/workbench/contrib/chat/browser/agentSessions/agentSessionsService.service';
 import { ITelemetryService } from '@codingame/monaco-vscode-api/vscode/vs/platform/telemetry/common/telemetry.service';
+import { getAgentSessionTime } from '@codingame/monaco-vscode-api/vscode/vs/workbench/contrib/chat/browser/agentSessions/agentSessions';
 import { openSession } from './agentSessionsOpener.js';
 import { IEditorService } from '@codingame/monaco-vscode-api/vscode/vs/workbench/services/editor/common/editorService.service';
 import { ChatEditorInput } from '@codingame/monaco-vscode-api/vscode/vs/workbench/contrib/chat/browser/widgetHosts/editor/chatEditorInput';
@@ -54,6 +56,9 @@ let AgentSessionsControl = class AgentSessionsControl extends Disposable {
         this.telemetryService = telemetryService;
         this.editorService = editorService;
         this.sessionsListFindIsOpen = false;
+        this.updateSessionsListThrottler = this._register(( new Throttler()));
+        this._onDidUpdate = this._register(( new Emitter()));
+        this.onDidUpdate = this._onDidUpdate.event;
         this.visible = true;
         this.focusedAgentSessionArchivedContextKey = ChatContextKeys.isArchivedAgentSession.bindTo(this.contextKeyService);
         this.focusedAgentSessionReadContextKey = ChatContextKeys.isReadAgentSession.bindTo(this.contextKeyService);
@@ -95,6 +100,19 @@ let AgentSessionsControl = class AgentSessionsControl extends Disposable {
                 if (element.section === AgentSessionSection.Archived && this.options.filter.getExcludes().archived) {
                     return true;
                 }
+                if (this.options.collapseOlderSections?.()) {
+                    const olderSections = [
+                        AgentSessionSection.Week,
+                        AgentSessionSection.Older,
+                        AgentSessionSection.Archived
+                    ];
+                    if (olderSections.includes(element.section)) {
+                        return true;
+                    }
+                    if (element.section === AgentSessionSection.Yesterday && this.hasTodaySessions()) {
+                        return true;
+                    }
+                }
             }
             return false;
         };
@@ -129,12 +147,12 @@ let AgentSessionsControl = class AgentSessionsControl extends Disposable {
         this._register(this.options.filter.onDidChange(async () => {
             if (this.visible) {
                 this.updateSectionCollapseStates();
-                list.updateChildren();
+                this.update();
             }
         }));
         this._register(model.onDidChangeSessions(() => {
             if (this.visible) {
-                list.updateChildren();
+                this.update();
             }
         }));
         list.setInput(model);
@@ -172,6 +190,12 @@ let AgentSessionsControl = class AgentSessionsControl extends Disposable {
             this.updateSectionCollapseStates();
         }));
     }
+    hasTodaySessions() {
+        const startOfToday = ( new Date()).setHours(0, 0, 0, 0);
+        return ( this.agentSessionsService.model.sessions.some(
+            session => !session.isArchived() && getAgentSessionTime(session.timing) >= startOfToday
+        ));
+    }
     async openAgentSession(e) {
         const element = e.element;
         if (!element || isAgentSessionSection(element)) {
@@ -182,9 +206,13 @@ let AgentSessionsControl = class AgentSessionsControl extends Disposable {
             source: this.options.source
         });
         const options = this.options.overrideSessionOpenOptions?.(e) ?? e;
-        const widget = await this.instantiationService.invokeFunction(openSession, element, options);
-        if (widget) {
-            this.options.notifySessionOpened?.(element.resource, widget);
+        if (this.options.overrideSessionOpen) {
+            await this.options.overrideSessionOpen(element.resource, options);
+        } else {
+            const widget = await this.instantiationService.invokeFunction(openSession, element, options);
+            if (widget) {
+                this.options.notifySessionOpened?.(element.resource, widget);
+            }
         }
     }
     async showContextMenu(
@@ -222,7 +250,7 @@ let AgentSessionsControl = class AgentSessionsControl extends Disposable {
         menu.dispose();
     }
     async showAgentSessionContextMenu(session, anchor) {
-        await this.chatSessionsService.activateChatSessionItemProvider(session.providerType);
+        this.chatSessionsService.activateChatSessionItemProvider(session.providerType);
         const contextOverlay = [];
         contextOverlay.push([ChatContextKeys.isArchivedAgentSession.key, session.isArchived()]);
         contextOverlay.push([ChatContextKeys.isReadAgentSession.key, session.isRead()]);
@@ -273,16 +301,8 @@ let AgentSessionsControl = class AgentSessionsControl extends Disposable {
                 }
             case AgentSessionSection.More:
                 {
-                    if (child.collapsed) {
-                        let autoExpandMore = false;
-                        if (this.sessionsListFindIsOpen) {
-                            autoExpandMore = true;
-                        } else if (this.options.filter.getExcludes().read && ( child.element.sessions.some(session => !session.isRead()))) {
-                            autoExpandMore = true;
-                        }
-                        if (autoExpandMore) {
-                            this.sessionsList.expand(child.element);
-                        }
+                    if (child.collapsed && this.sessionsListFindIsOpen) {
+                        this.sessionsList.expand(child.element);
                     }
                     break;
                 }
@@ -293,7 +313,10 @@ let AgentSessionsControl = class AgentSessionsControl extends Disposable {
         return this.agentSessionsService.model.resolve(undefined);
     }
     async update() {
-        await this.sessionsList?.updateChildren();
+        return this.updateSessionsListThrottler.queue(async () => {
+            await this.sessionsList?.updateChildren();
+            this._onDidUpdate.fire();
+        });
     }
     setVisible(visible) {
         if (this.visible === visible) {
@@ -301,7 +324,7 @@ let AgentSessionsControl = class AgentSessionsControl extends Disposable {
         }
         this.visible = visible;
         if (this.visible) {
-            this.sessionsList?.updateChildren();
+            this.update();
         }
     }
     layout(height, width) {

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

@@ -2,6 +2,7 @@ import { Disposable } from "@codingame/monaco-vscode-api/vscode/vs/base/common/l
 import { MenuId } from "@codingame/monaco-vscode-api/vscode/vs/platform/actions/common/actions";
 import { IStorageService } from "@codingame/monaco-vscode-api/vscode/vs/platform/storage/common/storage.service";
 import { IChatSessionsService } from "@codingame/monaco-vscode-api/vscode/vs/workbench/contrib/chat/common/chatSessionsService.service";
+import { AgentSessionProviders } from "@codingame/monaco-vscode-api/vscode/vs/workbench/contrib/chat/browser/agentSessions/agentSessions";
 import { IAgentSession } from "@codingame/monaco-vscode-api/vscode/vs/workbench/contrib/chat/browser/agentSessions/agentSessionsModel";
 import { IAgentSessionsFilter, IAgentSessionsFilterExcludes } from "./agentSessionsViewer.js";
 export declare enum AgentSessionsGrouping {
@@ -9,7 +10,17 @@ export declare enum AgentSessionsGrouping {
     Date = "date"
 }
 export interface IAgentSessionsFilterOptions extends Partial<IAgentSessionsFilter> {
-    readonly filterMenuId: MenuId;
+    readonly filterMenuId?: MenuId;
+    /**
+     * When set, only these providers appear in the filter menu (opt-in).
+     * When unset, all registered contributions plus `Local` are shown.
+     */
+    readonly allowedProviders?: AgentSessionProviders[];
+    /**
+     * Optional label overrides for providers shown in the filter menu.
+     * For example, the sessions window maps `Background` → "Local".
+     */
+    readonly providerLabelOverrides?: ReadonlyMap<string, string>;
     readonly limitResults?: () => number | undefined;
     notifyResults?(count: number): void;
     readonly groupResults?: () => AgentSessionsGrouping | undefined;

package/vscode/src/vs/workbench/contrib/chat/browser/agentSessions/agentSessionsFilter.js

@@ -9,7 +9,7 @@ import { ContextKeyExpr } from '@codingame/monaco-vscode-api/vscode/vs/platform/
 import { StorageScope, StorageTarget } from '@codingame/monaco-vscode-api/vscode/vs/platform/storage/common/storage';
 import { IStorageService } from '@codingame/monaco-vscode-api/vscode/vs/platform/storage/common/storage.service';
 import { IChatSessionsService } from '@codingame/monaco-vscode-api/vscode/vs/workbench/contrib/chat/common/chatSessionsService.service';
-import { AgentSessionProviders, getAgentSessionProviderName } from '@codingame/monaco-vscode-api/vscode/vs/workbench/contrib/chat/browser/agentSessions/agentSessions';
+import { getAgentSessionProvider, getAgentSessionProviderName, AgentSessionProviders } from '@codingame/monaco-vscode-api/vscode/vs/workbench/contrib/chat/browser/agentSessions/agentSessions';
 import '@codingame/monaco-vscode-api/vscode/vs/workbench/contrib/chat/browser/agentSessions/agentSessionsModel';
 import { ChatSessionStatus } from '@codingame/monaco-vscode-api/vscode/vs/workbench/contrib/chat/common/chatSessionsService';
 
@@ -30,6 +30,7 @@ let AgentSessionsFilter = class AgentSessionsFilter extends Disposable {
         this.options = options;
         this.chatSessionsService = chatSessionsService;
         this.storageService = storageService;
+        this.STORAGE_KEY = `agentSessions.filterExcludes.agentsessionsviewerfiltersubmenu`;
         this._onDidChange = this._register(( new Emitter()));
         this.onDidChange = this._onDidChange.event;
         this.limitResults = () => this.options.limitResults?.();
@@ -37,7 +38,6 @@ let AgentSessionsFilter = class AgentSessionsFilter extends Disposable {
         this.excludes = DEFAULT_EXCLUDES;
         this.isStoringExcludes = false;
         this.actionDisposables = this._register(( new DisposableStore()));
-        this.STORAGE_KEY = `agentSessions.filterExcludes.${this.options.filterMenuId.id.toLowerCase()}`;
         this.updateExcludes(false);
         this.registerListeners();
     }
@@ -94,25 +94,45 @@ let AgentSessionsFilter = class AgentSessionsFilter extends Disposable {
     }
     updateFilterActions() {
         this.actionDisposables.clear();
-        this.registerProviderActions(this.actionDisposables);
-        this.registerStateActions(this.actionDisposables);
-        this.registerArchivedActions(this.actionDisposables);
-        this.registerReadActions(this.actionDisposables);
-        this.registerResetAction(this.actionDisposables);
+        const menuId = this.options.filterMenuId;
+        if (!menuId) {
+            return;
+        }
+        this.registerProviderActions(this.actionDisposables, menuId);
+        this.registerStateActions(this.actionDisposables, menuId);
+        this.registerArchivedActions(this.actionDisposables, menuId);
+        this.registerReadActions(this.actionDisposables, menuId);
+        this.registerResetAction(this.actionDisposables, menuId);
     }
-    registerProviderActions(disposables) {
-        const providers = ( ( Object.values(AgentSessionProviders)).map(provider => ({
-            id: provider,
-            label: getAgentSessionProviderName(provider)
-        })));
-        for (const provider of this.chatSessionsService.getAllChatSessionContributions()) {
-            if (providers.find(p => p.id === provider.type)) {
-                continue;
+    registerProviderActions(disposables, menuId) {
+        const labelOverrides = this.options.providerLabelOverrides;
+        const resolveLabel = id => {
+            if (labelOverrides?.has(id)) {
+                return labelOverrides.get(id);
+            }
+            const knownProvider = getAgentSessionProvider(id);
+            return knownProvider ? getAgentSessionProviderName(knownProvider) : id;
+        };
+        let providers;
+        if (this.options.allowedProviders) {
+            providers = ( this.options.allowedProviders.map(id => ({
+                id,
+                label: resolveLabel(id)
+            })));
+        } else {
+            providers = [{
+                id: AgentSessionProviders.Local,
+                label: resolveLabel(AgentSessionProviders.Local)
+            }];
+            for (const contribution of this.chatSessionsService.getAllChatSessionContributions()) {
+                if (providers.find(p => p.id === contribution.type)) {
+                    continue;
+                }
+                providers.push({
+                    id: contribution.type,
+                    label: resolveLabel(contribution.type)
+                });
             }
-            providers.push({
-                id: provider.type,
-                label: provider.name
-            });
         }
         const that = this;
         let counter = 0;
@@ -120,10 +140,10 @@ let AgentSessionsFilter = class AgentSessionsFilter extends Disposable {
             disposables.add(registerAction2(class extends Action2 {
                 constructor() {
                     super({
-                        id: `agentSessions.filter.toggleExclude:${provider.id}.${that.options.filterMenuId.id.toLowerCase()}`,
+                        id: `agentSessions.filter.toggleExclude:${provider.id}.${menuId.id.toLowerCase()}`,
                         title: provider.label,
                         menu: {
-                            id: that.options.filterMenuId,
+                            id: menuId,
                             group: "1_providers",
                             order: counter++
                         },
@@ -143,19 +163,19 @@ let AgentSessionsFilter = class AgentSessionsFilter extends Disposable {
             }));
         }
     }
-    registerStateActions(disposables) {
+    registerStateActions(disposables, menuId) {
         const states = [{
             id: ChatSessionStatus.Completed,
-            label: ( localize(4975, "Completed"))
+            label: ( localize(5089, "Completed"))
         }, {
             id: ChatSessionStatus.InProgress,
-            label: ( localize(4976, "In Progress"))
+            label: ( localize(5090, "In Progress"))
         }, {
             id: ChatSessionStatus.NeedsInput,
-            label: ( localize(4977, "Input Needed"))
+            label: ( localize(5091, "Input Needed"))
         }, {
             id: ChatSessionStatus.Failed,
-            label: ( localize(4978, "Failed"))
+            label: ( localize(5092, "Failed"))
         }];
         const that = this;
         let counter = 0;
@@ -163,10 +183,10 @@ let AgentSessionsFilter = class AgentSessionsFilter extends Disposable {
             disposables.add(registerAction2(class extends Action2 {
                 constructor() {
                     super({
-                        id: `agentSessions.filter.toggleExcludeState:${state.id}.${that.options.filterMenuId.id.toLowerCase()}`,
+                        id: `agentSessions.filter.toggleExcludeState:${state.id}.${menuId.id.toLowerCase()}`,
                         title: state.label,
                         menu: {
-                            id: that.options.filterMenuId,
+                            id: menuId,
                             group: "2_states",
                             order: counter++
                         },
@@ -186,15 +206,15 @@ let AgentSessionsFilter = class AgentSessionsFilter extends Disposable {
             }));
         }
     }
-    registerArchivedActions(disposables) {
+    registerArchivedActions(disposables, menuId) {
         const that = this;
         disposables.add(registerAction2(class extends Action2 {
             constructor() {
                 super({
-                    id: `agentSessions.filter.toggleExcludeArchived.${that.options.filterMenuId.id.toLowerCase()}`,
-                    title: ( localize(4979, "Archived")),
+                    id: `agentSessions.filter.toggleExcludeArchived.${menuId.id.toLowerCase()}`,
+                    title: ( localize(5093, "Archived")),
                     menu: {
-                        id: that.options.filterMenuId,
+                        id: menuId,
                         group: "3_props",
                         order: 1000
                     },
@@ -209,15 +229,15 @@ let AgentSessionsFilter = class AgentSessionsFilter extends Disposable {
             }
         }));
     }
-    registerReadActions(disposables) {
+    registerReadActions(disposables, menuId) {
         const that = this;
         disposables.add(registerAction2(class extends Action2 {
             constructor() {
                 super({
-                    id: `agentSessions.filter.toggleExcludeRead.${that.options.filterMenuId.id.toLowerCase()}`,
-                    title: ( localize(4980, "Read")),
+                    id: `agentSessions.filter.toggleExcludeRead.${menuId.id.toLowerCase()}`,
+                    title: ( localize(5094, "Read")),
                     menu: {
-                        id: that.options.filterMenuId,
+                        id: menuId,
                         group: "3_props",
                         order: 0
                     },
@@ -232,15 +252,15 @@ let AgentSessionsFilter = class AgentSessionsFilter extends Disposable {
             }
         }));
     }
-    registerResetAction(disposables) {
+    registerResetAction(disposables, menuId) {
         const that = this;
         disposables.add(registerAction2(class extends Action2 {
             constructor() {
                 super({
-                    id: `agentSessions.filter.resetExcludes.${that.options.filterMenuId.id.toLowerCase()}`,
-                    title: ( localize(4981, "Reset")),
+                    id: `agentSessions.filter.resetExcludes.${menuId.id.toLowerCase()}`,
+                    title: ( localize(5095, "Reset")),
                     menu: {
-                        id: that.options.filterMenuId,
+                        id: menuId,
                         group: "4_reset",
                         order: 0
                     }
@@ -264,6 +284,9 @@ let AgentSessionsFilter = class AgentSessionsFilter extends Disposable {
         if (typeof overrideExclude === "boolean") {
             return overrideExclude;
         }
+        if (this.options.allowedProviders && !this.options.allowedProviders.includes(session.providerType)) {
+            return true;
+        }
         if (this.excludes.read && session.isRead()) {
             return true;
         }

package/vscode/src/vs/workbench/contrib/chat/browser/agentSessions/agentSessionsOpener.js

@@ -81,7 +81,7 @@ async function openSessionDefault(accessor, session, openOptions) {
         }
         return await chatWidgetService.openSession(session.resource, target, options);
     } catch (error) {
-        notificationService.error(( localize(4983, "Failed to open chat session: {0}", toErrorMessage(error))));
+        notificationService.error(( localize(5097, "Failed to open chat session: {0}", toErrorMessage(error))));
         return undefined;
     }
 }

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

@@ -25,20 +25,22 @@ interface IAgentSessionItemTemplate {
     readonly element: HTMLElement;
     readonly icon: HTMLElement;
     readonly title: IconLabel;
+    readonly statusContainer: HTMLElement;
+    readonly statusProviderIcon: HTMLElement;
+    readonly statusTime: HTMLElement;
     readonly titleToolbar: MenuWorkbenchToolBar;
     readonly diffContainer: HTMLElement;
     readonly diffAddedSpan: HTMLSpanElement;
     readonly diffRemovedSpan: HTMLSpanElement;
     readonly badge: HTMLElement;
+    readonly separator: HTMLElement;
     readonly description: HTMLElement;
-    readonly statusContainer: HTMLElement;
-    readonly statusProviderIcon: HTMLElement;
-    readonly statusTime: HTMLElement;
     readonly contextKeyService: IContextKeyService;
     readonly elementDisposable: DisposableStore;
     readonly disposables: IDisposable;
 }
 export interface IAgentSessionRendererOptions {
+    readonly disableHover?: boolean;
     getHoverPosition(): HoverPosition;
 }
 export declare class AgentSessionRenderer extends Disposable implements ICompressibleTreeRenderer<IAgentSession, FuzzyScore, IAgentSessionItemTemplate> {
@@ -88,7 +90,7 @@ export declare class AgentSessionSectionRenderer implements ICompressibleTreeRen
     disposeTemplate(templateData: IAgentSessionSectionTemplate): void;
 }
 export declare class AgentSessionsListDelegate implements IListVirtualDelegate<AgentSessionListItem> {
-    static readonly ITEM_HEIGHT = 52;
+    static readonly ITEM_HEIGHT = 54;
     static readonly SECTION_HEIGHT = 26;
     getHeight(element: AgentSessionListItem): number;
     getTemplateId(element: AgentSessionListItem): string;
@@ -146,7 +148,6 @@ export declare class AgentSessionsDataSource implements IAsyncDataSource<IAgentS
     private groupSessionsByDate;
 }
 export declare const AgentSessionSectionLabels: {
-    inProgress: string;
     today: string;
     yesterday: string;
     week: string;
@@ -155,6 +156,7 @@ export declare const AgentSessionSectionLabels: {
     more: string;
 };
 export declare function groupAgentSessionsByDate(sessions: IAgentSession[]): Map<AgentSessionSection, IAgentSessionSection>;
+export declare function sessionDateFromNow(sessionTime: number): string;
 export declare class AgentSessionsIdentityProvider implements IIdentityProvider<IAgentSessionsModel | AgentSessionListItem> {
     getId(element: IAgentSessionsModel | AgentSessionListItem): string;
     getGroupId(element: IAgentSessionsModel | AgentSessionListItem): number | NotSelectableGroupIdType;