move line numbers option from general to editing->general

This commit is contained in:
Jon Rafkind 2010-11-14 19:33:12 -07:00
parent c8eb07221d
commit cd4e5e7410

View File

@ -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.
#;