diff options
Diffstat (limited to 'plugins')
| -rw-r--r-- | plugins/settings.lua | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/plugins/settings.lua b/plugins/settings.lua index 461463b..29dae31 100644 --- a/plugins/settings.lua +++ b/plugins/settings.lua @@ -432,13 +432,6 @@ settings.add("Editor", step = 0.1 }, { - label = "Show Spaces", - description = "Draw another character in place of invisble spaces.", - path = "draw_whitespace", - type = settings.type.TOGGLE, - default = false - }, - { label = "Symbol Pattern", description = "A lua pattern used to match symbols in the document.", path = "symbol_pattern", |