From f656cc2b2dba6a04bd6e2f4ecccfcc548d22a869 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Wed, 22 Jul 1998 03:28:09 +0000 Subject: [PATCH] added offsets vs line/column display original commit: 2172bfdfdcfeed77bbbe3390bc8b3c7f62d13ba1 --- collects/mred/prefs.ss | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/collects/mred/prefs.ss b/collects/mred/prefs.ss index da36ab36..47ce3077 100644 --- 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