added offsets vs line/column display

original commit: 2172bfdfdcfeed77bbbe3390bc8b3c7f62d13ba1
1998-07-22 03:28:09 +00:00 · 1998-07-22 03:28:09 +00:00 · f656cc2b2d
commit f656cc2b2d
parent 48a1fbf948
1 changed files with 4 additions and 0 deletions
--- a/collects/mred/prefs.ss
+++ b/collects/mred/prefs.ss
@ -412,6 +412,10 @@
 	    (make-check 'mred:print-output-mode "Automatically print to postscript file"
 			(lambda (b) (if b 1 0))
 			(lambda (n) (= n 1))))
+
+	  
+	  (make-check 'mred:display-line-numbers "Display line numbers in buffer; not character offsets" id id)
+
 	  main))
      #f)
     (make-ppanel