Microsoft/vscode
1
0
Fork 0
mirror of https://github.com/microsoft/vscode.git synced 2026-04-17 15:24:40 +01:00
Code Issues Packages Projects Releases Wiki Activity

sessions - allowlist more commands to run in modal editors (#299464)

Browse Source
This commit is contained in:
Benjamin Pasero
2026-03-05 13:56:52 +01:00
committed by GitHub
parent c08bdfcb13
commit 2df781bda9
1 changed files with 45 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

47
src/vs/workbench/browser/parts/editor/modalEditorPart.ts
View File

@@ -35,12 +35,55 @@ import { CLOSE_MODAL_EDITOR_COMMAND_ID, MOVE_MODAL_EDITOR_TO_MAIN_COMMAND_ID, MO
import { IModalEditorNavigation, IModalEditorPartOptions } from '../../../../platform/editor/common/editor.js';
const defaultModalEditorAllowableCommands = new Set([
// Application
'workbench.action.quit',
'workbench.action.reloadWindow',
'workbench.action.closeActiveEditor',
'workbench.action.closeAllEditors',
'workbench.action.toggleFullScreen',
// Quick access
'workbench.action.gotoSymbol',
'workbench.action.gotoLine',
// Zoom
'workbench.action.zoomIn',
'workbench.action.zoomOut',
'workbench.action.zoomReset',
// File operations
'workbench.action.files.save',
'workbench.action.files.saveAll',
'workbench.action.files.revert',
// Close editors
'workbench.action.closeActiveEditor',
'workbench.action.closeAllEditors',
'workbench.action.closeEditorsInGroup',
'workbench.action.closeUnmodifiedEditors',
// Settings
'workbench.action.openSettings',
'workbench.action.openSettings2',
'workbench.action.openSettingsJson',
'workbench.action.openGlobalSettings',
'workbench.action.openApplicationSettingsJson',
'workbench.action.openRawDefaultSettings',
'workbench.action.openWorkspaceSettings',
'workbench.action.openWorkspaceSettingsFile',
'workbench.action.openFolderSettings',
'workbench.action.openFolderSettingsFile',
'workbench.action.openRemoteSettings',
'workbench.action.openRemoteSettingsFile',
'workbench.action.openAccessibilitySettings',
'workbench.action.configureLanguageBasedSettings',
// Keybindings
'workbench.action.openGlobalKeybindings',
'workbench.action.openDefaultKeybindingsFile',
'workbench.action.openGlobalKeybindingsFile',
'workbench.action.openKeyboardLayoutPicker',
// Modal editor
CLOSE_MODAL_EDITOR_COMMAND_ID,
MOVE_MODAL_EDITOR_TO_MAIN_COMMAND_ID,
MOVE_MODAL_EDITOR_TO_WINDOW_COMMAND_ID,