From 45282709373bee91021db5ddd35fbeefa7291d99 Mon Sep 17 00:00:00 2001 From: Andrew Pareles Date: Mon, 17 Mar 2025 03:00:56 -0700 Subject: [PATCH] add Void in file menu --- .../files/browser/fileActions.contribution.ts | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/src/vs/workbench/contrib/files/browser/fileActions.contribution.ts b/src/vs/workbench/contrib/files/browser/fileActions.contribution.ts index 6cd04336..38a342c5 100644 --- a/src/vs/workbench/contrib/files/browser/fileActions.contribution.ts +++ b/src/vs/workbench/contrib/files/browser/fileActions.contribution.ts @@ -27,6 +27,7 @@ import { ThemeIcon } from '../../../../base/common/themables.js'; import { IExplorerService } from './files.js'; import { Codicon } from '../../../../base/common/codicons.js'; import { Categories } from '../../../../platform/action/common/actionCommonCategories.js'; +import { VOID_OPEN_SETTINGS_ACTION_ID } from '../../void/browser/voidSettingsPane.js'; // Contribute Global Actions @@ -675,6 +676,18 @@ for (const menuId of [MenuId.EmptyEditorGroupContext, MenuId.EditorTabsBarContex // File menu + +// Void added this: +MenuRegistry.appendMenuItem(MenuId.MenubarFileMenu, { + group: '0_void', + command: { + id: VOID_OPEN_SETTINGS_ACTION_ID, + title: nls.localize({ key: 'openVoid', comment: ['&& denotes a mnemonic'] }, "&&Open Void Settings"), + }, + order: 1 +}); + + MenuRegistry.appendMenuItem(MenuId.MenubarFileMenu, { group: '1_new', command: {