remove confusing preference

rfindler · Sep 10, 2023 · 03c5a12 · 03c5a12
1 parent 6a4d098
commit 03c5a12
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/drracket/drracket/private/main.rkt b/drracket/drracket/private/main.rkt
@@ -405,9 +405,6 @@
      (make-check-box 'drracket:show-line-numbers?
                      (string-constant show-line-numbers)
                      editor-panel)
-     (make-check-box 'drracket:show-indent-guides?
-                     (string-constant show-indent-guides)
-                     editor-panel)
 
      (make-check-box 'drracket:defs/ints-labels
                      (string-constant show-defs/ints-label)