string constants for new R5RS/PrettyBig option
svn: r9723
This commit is contained in:
parent
e0e978b87e
commit
42dcfbc79a
|
@ -1340,10 +1340,10 @@
|
||||||
[parent
|
[parent
|
||||||
(new group-box-panel%
|
(new group-box-panel%
|
||||||
[parent p]
|
[parent p]
|
||||||
[label "Initial Bindings"]
|
[label (string-constant assume-primitives-group-box-label)]
|
||||||
[stretchable-height #f]
|
[stretchable-height #f]
|
||||||
[stretchable-width #f])]
|
[stretchable-width #f])]
|
||||||
[label "Assume initial bindings never change"])])
|
[label (string-constant assume-primitives-check-box-label)])])
|
||||||
(case-lambda
|
(case-lambda
|
||||||
[() (extend-simple-settings (base-config)
|
[() (extend-simple-settings (base-config)
|
||||||
(send assume-cb get-value))]
|
(send assume-cb get-value))]
|
||||||
|
|
|
@ -970,6 +970,8 @@ please adhere to these guidelines:
|
||||||
(use-mixed-fractions "Mixed fractions")
|
(use-mixed-fractions "Mixed fractions")
|
||||||
(use-repeating-decimals "Repeating decimals")
|
(use-repeating-decimals "Repeating decimals")
|
||||||
(decimal-notation-for-rationals "Use decimal notation for rationals")
|
(decimal-notation-for-rationals "Use decimal notation for rationals")
|
||||||
|
(assume-primitives-group-box-label "Initial Bindings")
|
||||||
|
(assume-primitives-check-box-label "Assume initial bindings never change")
|
||||||
|
|
||||||
; used in the bottom left of the drscheme frame
|
; used in the bottom left of the drscheme frame
|
||||||
; used the popup menu from the just above; greyed out and only
|
; used the popup menu from the just above; greyed out and only
|
||||||
|
|
Loading…
Reference in New Issue
Block a user