editors - introduce and adopt RequiresModal to force editors to open modal (#302535)

* editors - introduce and adopt `RequiresModal` to force editors to open modal

* .

* ccr

* ccr

* Potential fix for pull request finding

Co-authored-by: Copilot Autofix powered by AI <175728472+Copilot@users.noreply.github.com>

* ccr

* ccr

* ccr

* wtf

* Potential fix for pull request finding

Co-authored-by: Copilot Autofix powered by AI <175728472+Copilot@users.noreply.github.com>

---------

Co-authored-by: Copilot Autofix powered by AI <175728472+Copilot@users.noreply.github.com>
This commit is contained in:
Benjamin Pasero
2026-03-17 22:21:11 +01:00
committed by GitHub
parent 12e23984ff
commit 56c8cb1e6a
20 changed files with 134 additions and 57 deletions

View File

@@ -54,7 +54,7 @@ import { IChatSessionFileChange, IChatSessionFileChange2, isIChatSessionFileChan
import { chatEditingWidgetFileStateContextKey, hasAppliedChatEditsContextKey, hasUndecidedChatEditingResourceContextKey, IChatEditingService, ModifiedFileEntryState } from '../../../../workbench/contrib/chat/common/editing/chatEditingService.js';
import { createFileIconThemableTreeContainerScope } from '../../../../workbench/contrib/files/browser/views/explorerView.js';
import { IActivityService, NumberBadge } from '../../../../workbench/services/activity/common/activity.js';
import { IEditorService, MODAL_GROUP, SIDE_GROUP } from '../../../../workbench/services/editor/common/editorService.js';
import { ACTIVE_GROUP, IEditorService, SIDE_GROUP } from '../../../../workbench/services/editor/common/editorService.js';
import { IExtensionService } from '../../../../workbench/services/extensions/common/extensions.js';
import { IWorkbenchLayoutService } from '../../../../workbench/services/layout/browser/layoutService.js';
import { IActiveSessionItem, ISessionsManagementService } from '../../sessions/browser/sessionsManagementService.js';
@@ -945,7 +945,7 @@ export class ChangesViewPane extends ViewPane {
}
};
const group = sideBySide ? SIDE_GROUP : MODAL_GROUP;
const group = sideBySide ? SIDE_GROUP : ACTIVE_GROUP;
if (isDeletion && originalUri) {
this.editorService.openEditor({