Added replace tabs with spaces option

2020-10-04 18:44:42 +02:00
parent 61359f746c
commit 4f0d368f4f
2 changed files with 49 additions and 3 deletions
@@ -76,6 +76,7 @@ class OptionState():
                "incComments",
                "incKeywords",
                "incBodyText",
+                "replaceTabs",
            },
            "GuiOutline": {
                "headerOrder",