Clean up the Build dialog and connect new options

2021-02-10 16:57:15 +01:00
parent f67a50c064
commit ec189a4867
2 changed files with 63 additions and 51 deletions
@@ -80,6 +80,7 @@ class OptionState():
                "incKeywords",
                "incBodyText",
                "replaceTabs",
+                "replaceUCode",
            },
            "GuiOutline": {
                "headerOrder",