From efa97102c74925da360be5cbb8bf2737387c4513 Mon Sep 17 00:00:00 2001
From: Jack <bartnikjack@gmail.com>
Date: Tue, 6 Oct 2020 17:39:36 +0100
Subject: [PATCH] added page width to the command line

---
 public/js/commandline.js | 50 ++++++++++++++++++++++++++++++++++++++++
 1 file changed, 50 insertions(+)

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