diff --git a/public/js/commandline.js b/public/js/commandline.js index 851db87c0..c0a890e8a 100644 --- a/public/js/commandline.js +++ b/public/js/commandline.js @@ -264,6 +264,15 @@ let commands = { showCommandLine(); }, }, + { + id: "changeKeymapStyle", + display: "Change keymap style...", + subgroup: true, + exec: () => { + currentCommands.push(commandsKeymapStyle); + showCommandLine(); + }, + }, { id: "changeKeymapLayout", display: "Change keymap layout...", @@ -389,6 +398,40 @@ let commandsCaretStyle = { ], }; +let commandsKeymapStyle = { + title: "Change keymap style...", + list: [ + { + id: "setKeymapStyleStaggered", + display: "staggered", + exec: () => { + changeKeymapStyle("staggered"); + }, + }, + { + id: "setKeymapStyleMatrix", + display: "matrix", + exec: () => { + changeKeymapStyle("matrix"); + }, + }, + { + id: "setKeymapStyleSplit", + display: "split", + exec: () => { + changeKeymapStyle("split"); + }, + }, + { + id: "setKeymapStyleSplitMatrix", + display: "split matrix", + exec: () => { + changeKeymapStyle("split_matrix"); + }, + }, + ], +}; + let commandsTimerStyle = { title: "Change timer/progress style...", list: [