Make the columns in the viewer panel resizeable

2023-11-25 18:45:06 +01:00
parent 519e5857d1
commit 05e63cb01e
3 changed files with 42 additions and 2 deletions
@@ -69,6 +69,9 @@ VALID_MAP = {
    "GuiManuscriptBuild": {
        "winWidth", "winHeight", "fmtWidth", "sumWidth",
    },
+    "GuiDocViewerPanel": {
+        "colWidths",
+    }
 }