Add splitter to filter page and save to options

2023-05-13 17:59:43 +02:00
parent a9d5974346
commit 50f653fefb
2 changed files with 73 additions and 4 deletions
@@ -60,6 +60,9 @@ VALID_MAP = {
    },
    "GuiWordList": {"winWidth", "winHeight"},
    "GuiNovelView": {"lastCol", "lastColSize"},
+    "GuiBuildManuscript": {
+        "winWidth", "winHeight", "treeWidth", "filterWidth"
+    },
 }