adjusted the language dialog so that the output-style and fraction-style radio boxes aren't adjacent
This commit is contained in:
parent
23739a21d8
commit
7020cb6e4c
|
@ -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)
|
||||
|
||||
|
|
|
@ -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 '()])
|
||||
|
||||
|
|
Loading…
Reference in New Issue
Block a user