diff options
| author | jgmdev <jgmdev@gmail.com> | 2022-06-02 22:13:03 -0400 |
|---|---|---|
| committer | jgmdev <jgmdev@gmail.com> | 2022-06-02 22:13:03 -0400 |
| commit | 18f76b14c27e127843c6c37011c8aa96595d2efc (patch) | |
| tree | 30c06998904eb65eb003af6621966df204ba18f6 /plugins/settings.lua | |
| parent | 85c716be5e32a6f9c480ad3f58c7b70221582923 (diff) | |
| download | lite-xl-plugins-18f76b14c27e127843c6c37011c8aa96595d2efc.tar.gz lite-xl-plugins-18f76b14c27e127843c6c37011c8aa96595d2efc.zip | |
settings: remove no longer applicable show spaces option
Diffstat (limited to 'plugins/settings.lua')
| -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", |