From cd4e5e7410f154cd4cb3b97e1c4aaab2bde6d78e Mon Sep 17 00:00:00 2001 From: Jon Rafkind Date: Sun, 14 Nov 2010 19:33:12 -0700 Subject: [PATCH] move line numbers option from general to editing->general --- collects/drracket/private/main.rkt | 24 ++++++++++++------------ 1 file changed, 12 insertions(+), 12 deletions(-) diff --git a/collects/drracket/private/main.rkt b/collects/drracket/private/main.rkt index 74bb8e7837..b8bfe6096a 100644 --- a/collects/drracket/private/main.rkt +++ b/collects/drracket/private/main.rkt @@ -316,17 +316,7 @@ (make-check-box 'drracket:open-in-tabs (string-constant open-files-in-tabs) editor-panel) - (make-check-box 'drracket:show-line-numbers? - (string-constant show-line-numbers) - editor-panel - (lambda (value) - (define (drracket:frame? frame) - (and (is-a? frame top-level-window<%>) - (is-a? frame drracket:unit:frame%))) - ;; is it a hack to use `get-top-level-windows' ? - (define frames (filter drracket:frame? (get-top-level-windows))) - (when (not (null? frames)) - (send (car frames) show-line-numbers! value)))) + (make-check-box 'drracket:show-interactions-on-execute (string-constant show-interactions-on-execute) @@ -346,7 +336,17 @@ (preferences:add-to-editor-checkbox-panel (λ (editor-panel) - (void) + (make-check-box 'drracket:show-line-numbers? + (string-constant show-line-numbers) + editor-panel + (lambda (value) + (define (drracket:frame? frame) + (and (is-a? frame top-level-window<%>) + (is-a? frame drracket:unit:frame%))) + ;; is it a hack to use `get-top-level-windows' ? + (define frames (filter drracket:frame? (get-top-level-windows))) + (when (not (null? frames)) + (send (car frames) show-line-numbers! value)))) ;; come back to this one. #;