From 42dcfbc79abdc5bee6ec205046e7573fb0d3cc7e Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Wed, 7 May 2008 17:15:53 +0000 Subject: [PATCH] string constants for new R5RS/PrettyBig option svn: r9723 --- collects/drscheme/private/language-configuration.ss | 4 ++-- collects/string-constants/english-string-constants.ss | 2 ++ 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/collects/drscheme/private/language-configuration.ss b/collects/drscheme/private/language-configuration.ss index 00ad0e596f..bade434a38 100644 --- a/collects/drscheme/private/language-configuration.ss +++ b/collects/drscheme/private/language-configuration.ss @@ -1340,10 +1340,10 @@ [parent (new group-box-panel% [parent p] - [label "Initial Bindings"] + [label (string-constant assume-primitives-group-box-label)] [stretchable-height #f] [stretchable-width #f])] - [label "Assume initial bindings never change"])]) + [label (string-constant assume-primitives-check-box-label)])]) (case-lambda [() (extend-simple-settings (base-config) (send assume-cb get-value))] diff --git a/collects/string-constants/english-string-constants.ss b/collects/string-constants/english-string-constants.ss index b4eaee671a..80ded983e8 100644 --- a/collects/string-constants/english-string-constants.ss +++ b/collects/string-constants/english-string-constants.ss @@ -970,6 +970,8 @@ please adhere to these guidelines: (use-mixed-fractions "Mixed fractions") (use-repeating-decimals "Repeating decimals") (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 the popup menu from the just above; greyed out and only