From 7eac4aad6f268b48c5d27c50404e8889cab5cbb7 Mon Sep 17 00:00:00 2001 From: Andrew Pareles Date: Thu, 5 Jun 2025 02:41:54 -0700 Subject: [PATCH] remove ugly button --- .../parts/editor/editorGroupWatermark.ts | 29 +++++++++---------- 1 file changed, 14 insertions(+), 15 deletions(-) diff --git a/src/vs/workbench/browser/parts/editor/editorGroupWatermark.ts b/src/vs/workbench/browser/parts/editor/editorGroupWatermark.ts index f9001e53..120223e4 100644 --- a/src/vs/workbench/browser/parts/editor/editorGroupWatermark.ts +++ b/src/vs/workbench/browser/parts/editor/editorGroupWatermark.ts @@ -26,7 +26,6 @@ import { IViewsService } from '../../../services/views/common/viewsService.js'; /* eslint-disable */ // Void import { VOID_CTRL_K_ACTION_ID, VOID_CTRL_L_ACTION_ID } from '../../../contrib/void/browser/actionIDs.js'; -import { VOID_OPEN_SETTINGS_ACTION_ID } from '../../../contrib/void/browser/voidSettingsPane.js'; import { VIEWLET_ID as REMOTE_EXPLORER_VIEWLET_ID } from '../../../contrib/remote/browser/remoteExplorer.js'; /* eslint-enable */ @@ -306,21 +305,21 @@ export class EditorGroupWatermark extends Disposable { label2.set(keys2); this.currentDisposables.add(label2); - const keys3 = this.keybindingService.lookupKeybinding('workbench.action.openGlobalKeybindings'); - const button3 = append(recentsBox, $('button')); - button3.textContent = `Void Settings` - button3.style.display = 'block' - button3.style.marginLeft = 'auto' - button3.style.marginRight = 'auto' - button3.classList.add('void-settings-watermark-button') + // const keys3 = this.keybindingService.lookupKeybinding('workbench.action.openGlobalKeybindings'); + // const button3 = append(recentsBox, $('button')); + // button3.textContent = `Void Settings` + // button3.style.display = 'block' + // button3.style.marginLeft = 'auto' + // button3.style.marginRight = 'auto' + // button3.classList.add('void-settings-watermark-button') - const label3 = new KeybindingLabel(button3, OS, { renderUnboundKeybindings: true, ...defaultKeybindingLabelStyles }); - if (keys3) - label3.set(keys3); - button3.onclick = () => { - this.commandService.executeCommand(VOID_OPEN_SETTINGS_ACTION_ID) - } - this.currentDisposables.add(label3); + // const label3 = new KeybindingLabel(button3, OS, { renderUnboundKeybindings: true, ...defaultKeybindingLabelStyles }); + // if (keys3) + // label3.set(keys3); + // button3.onclick = () => { + // this.commandService.executeCommand(VOID_OPEN_SETTINGS_ACTION_ID) + // } + // this.currentDisposables.add(label3); }