Remove the old build tool

2023-06-03 17:03:30 +02:00
parent 9514578554
commit 4c439910dc
8 changed files with 42 additions and 1768 deletions
@@ -43,13 +43,6 @@ VALID_MAP = {
        "hideZeros", "hideNegative", "groupByDay", "showIdleTime", "histMax",
    },
    "GuiDocSplit": {"spLevel", "intoFolder", "docHierarchy"},
-    "GuiBuildNovel": {
-        "winWidth", "winHeight", "boxWidth", "docWidth", "hideScene",
-        "hideSection", "addNovel", "addNotes", "ignoreFlag", "justifyText",
-        "excludeBody", "textFont", "textSize", "lineHeight", "noStyling",
-        "incSynopsis", "incComments", "incKeywords", "incBodyText",
-        "replaceTabs", "replaceUCode", "rootFilter",
-    },
    "GuiOutline": {"headerOrder", "columnWidth", "columnHidden"},
    "GuiProjectSettings": {
        "winWidth", "winHeight", "replaceColW", "statusColW", "importColW",