From 18f76b14c27e127843c6c37011c8aa96595d2efc Mon Sep 17 00:00:00 2001
From: jgmdev <jgmdev@gmail.com>
Date: Thu, 2 Jun 2022 22:13:03 -0400
Subject: settings: remove no longer applicable show spaces option

---
 plugins/settings.lua | 7 -------
 1 file changed, 7 deletions(-)

(limited to 'plugins')

diff --git a/plugins/settings.lua b/plugins/settings.lua
index 461463b..29dae31 100644
--- a/plugins/settings.lua
+++ b/plugins/settings.lua
@@ -431,13 +431,6 @@ settings.add("Editor",
       max = 1.0,
       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.",
-- 
cgit v1.2.3