From 14b5101f6a6165471453f45a57ded40b8292db46 Mon Sep 17 00:00:00 2001 From: sawka Date: Mon, 11 Mar 2024 11:56:43 -0700 Subject: [PATCH] fix tooltip (should be Ctrl-Space) --- src/app/workspace/cmdinput/cmdinput.tsx | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/app/workspace/cmdinput/cmdinput.tsx b/src/app/workspace/cmdinput/cmdinput.tsx index 6cac9b5a9..067dec7c3 100644 --- a/src/app/workspace/cmdinput/cmdinput.tsx +++ b/src/app/workspace/cmdinput/cmdinput.tsx @@ -161,7 +161,7 @@ class CmdInput extends React.Component<{}, {}> { -
+