From 2a36d115cb925183a9fec8934b8b232618bc71e7 Mon Sep 17 00:00:00 2001 From: Miodec Date: Tue, 16 Mar 2021 08:38:37 +0000 Subject: [PATCH] added alias for keymap --- src/js/commandline.js | 1 + 1 file changed, 1 insertion(+) diff --git a/src/js/commandline.js b/src/js/commandline.js index 39ce31a1d..9d6ef33e4 100644 --- a/src/js/commandline.js +++ b/src/js/commandline.js @@ -446,6 +446,7 @@ let commands = { id: "toggleKeymap", display: "Change keymap mode...", subgroup: true, + alias: "keyboard", exec: () => { currentCommands.push(commandsKeymapMode); showCommandLine();