diff --git a/collects/drracket/private/language.rkt b/collects/drracket/private/language.rkt index 1733a9b80b..aa58946cf0 100644 --- a/collects/drracket/private/language.rkt +++ b/collects/drracket/private/language.rkt @@ -272,10 +272,6 @@ output-panel (λ (rb evt) (enable-fraction-style)) '(horizontal vertical-label))] - [fraction-style - (make-object check-box% (string-constant decimal-notation-for-rationals) - output-panel - void)] [enable-fraction-style (lambda () (let ([on? (member (send output-style get-selection) '(0 1))]) @@ -287,7 +283,11 @@ [insert-newlines (make-object check-box% (string-constant use-pretty-printer-label) output-panel - void)]) + void)] + [fraction-style + (make-object check-box% (string-constant decimal-notation-for-rationals) + output-panel + void)]) (get-debugging-radio-box debugging-left debugging-right) (dynamic-panel-extras dynamic-panel) diff --git a/collects/lang/htdp-langs.rkt b/collects/lang/htdp-langs.rkt index 7195943bb5..bf91ec180e 100644 --- a/collects/lang/htdp-langs.rkt +++ b/collects/lang/htdp-langs.rkt @@ -276,12 +276,6 @@ (string-constant write-printing-style))) output-panel void)] - [fraction-style - (make-object radio-box% (string-constant fraction-style) - (list (string-constant use-mixed-fractions) - (string-constant use-repeating-decimals)) - output-panel - void)] [show-sharing #f] [insert-newlines (make-object check-box% (string-constant use-pretty-printer-label) @@ -291,6 +285,12 @@ (parent output-panel) (label (string-constant tracing-enable-tracing)) (callback void))] + [fraction-style + (make-object radio-box% (string-constant fraction-style) + (list (string-constant use-mixed-fractions) + (string-constant use-repeating-decimals)) + output-panel + void)] [tps '()])