From d59b99a2a00cf68096bb05e29afa7e010daa7b53 Mon Sep 17 00:00:00 2001 From: Mathew Pareles Date: Mon, 31 Mar 2025 00:34:44 -0700 Subject: [PATCH] make helper close when Cmd+L or Cmd+K pressed --- .../void-editor-widgets-tsx/VoidSelectionHelper.tsx | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/src/vs/workbench/contrib/void/browser/react/src/void-editor-widgets-tsx/VoidSelectionHelper.tsx b/src/vs/workbench/contrib/void/browser/react/src/void-editor-widgets-tsx/VoidSelectionHelper.tsx index aafda573..35cb9845 100644 --- a/src/vs/workbench/contrib/void/browser/react/src/void-editor-widgets-tsx/VoidSelectionHelper.tsx +++ b/src/vs/workbench/contrib/void/browser/react/src/void-editor-widgets-tsx/VoidSelectionHelper.tsx @@ -43,6 +43,19 @@ const VoidSelectionHelper = ({ rerenderKey }: VoidSelectionHelperProps) => { const [reactRerenderCount, setReactRerenderKey] = useState(rerenderKey) const [clickState, setClickState] = useState<'init' | 'clickedOption' | 'clickedMore'>('init') + useEffect(() => { + const disposable = commandService.onWillExecuteCommand(e => { + if (e.commandId === VOID_CTRL_L_ACTION_ID || e.commandId === VOID_CTRL_K_ACTION_ID) { + setClickState('clickedOption') + } + }); + + return () => { + disposable.dispose(); + }; + }, [commandService]); + + // rerender when the key changes if (reactRerenderCount !== rerenderKey) { setReactRerenderKey(rerenderKey)