added page width to the command line

This commit is contained in:
Jack 2020-10-06 17:39:36 +01:00
parent 753fa83168
commit efa97102c7

View file

@ -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: [