From f4f78335318c796a13fd5c3a9fbe68032fb971dc Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Fri, 21 Dec 2012 21:35:09 -0600 Subject: [PATCH] move some literal strings into the string constants (they should have been there ages ago ...) --- collects/drracket/private/module-language.rkt | 4 ++-- .../string-constants/private/english-string-constants.rkt | 4 +++- 2 files changed, 5 insertions(+), 3 deletions(-) diff --git a/collects/drracket/private/module-language.rkt b/collects/drracket/private/module-language.rkt index 278a7410f0..41867efe46 100644 --- a/collects/drracket/private/module-language.rkt +++ b/collects/drracket/private/module-language.rkt @@ -1567,8 +1567,8 @@ (new menu-item% [parent menu] [label (if on? - "Disable online compilation" - "Enable online compilation")] + (string-constant disable-online-expansion) + (string-constant enable-online-expansion))] [callback (λ args (preferences:set 'drracket:online-compilation-default-on (not on?)))]) diff --git a/collects/string-constants/private/english-string-constants.rkt b/collects/string-constants/private/english-string-constants.rkt index aea7785afe..88a27e61f2 100644 --- a/collects/string-constants/private/english-string-constants.rkt +++ b/collects/string-constants/private/english-string-constants.rkt @@ -244,7 +244,9 @@ please adhere to these guidelines: ;; these next two show up in the bar along the bottom of the drracket window (online-expansion-pending "Background expansion pending ...") (online-expansion-finished "Background expansion finished") ;; note: there may still be errors in this case - + ;; the next two show up in a menu when you click on the circle in the bottom right corner + (disable-online-expansion "Disable background expansion") + (enable-online-expansion "Enable background expansion") ;; the online expansion preferences pane (online-expansion "Background expansion") ;; title of prefs pane ; the different kinds of errors