diff --git a/frontend/src/core/hotkeys/hotkeys.ts b/frontend/src/core/hotkeys/hotkeys.ts index 07592dd0f7c..5d5fbabc721 100644 --- a/frontend/src/core/hotkeys/hotkeys.ts +++ b/frontend/src/core/hotkeys/hotkeys.ts @@ -374,6 +374,7 @@ const DEFAULT_HOT_KEY = { name: "Show all code", group: "Editing", key: NOT_SET, + additionalKeywords: ["unhide", "hide", "reveal", "show source"], }, "global.hideAllCode": { name: "Hide all code",