diff --git a/public/js/commandline.js b/public/js/commandline.js index 593f9d448..4c7654c21 100644 --- a/public/js/commandline.js +++ b/public/js/commandline.js @@ -390,6 +390,15 @@ let commands = { showCommandLine(); }, }, + { + id: "changePageWidth", + display: "Change page width...", + subgroup: true, + exec: () => { + currentCommands.push(commandsPageWidth); + showCommandLine(); + }, + }, { id: "randomiseTheme", display: "Next random theme", @@ -450,6 +459,47 @@ let commands = { ], }; +let commandsPageWidth = { + title: "Change page width...", + list: [ + { + id: "setPageWidth100", + display: "100", + exec: () => { + setPageWidth("100"); + }, + }, + { + id: "setPageWidth125", + display: "125", + exec: () => { + setPageWidth("125"); + }, + }, + { + id: "setPageWidth150", + display: "150", + exec: () => { + setPageWidth("150"); + }, + }, + { + id: "setPageWidth200", + display: "200", + exec: () => { + setPageWidth("200"); + }, + }, + { + id: "setPageWidthMax", + display: "max", + exec: () => { + setPageWidth("max"); + }, + }, + ], +}; + let commandsKeymapMode = { title: "Change keymap mode...", list: [