diff --git a/drracket/drracket/private/tools.rkt b/drracket/drracket/private/tools.rkt index cfff9f724..69af981ea 100644 --- a/drracket/drracket/private/tools.rkt +++ b/drracket/drracket/private/tools.rkt @@ -492,12 +492,12 @@ ;; Preferences GUI -(define load-action "Load the tool") -(define skip-action "Skip the tool") +(define load-action (string-constant load-tool-load)) +(define skip-action (string-constant load-tool-skip)) (define (add-prefs-panel) (preferences:add-panel - "Tools" + (string-constant tool-prefs-panel-title) (lambda (parent) (define main (new-vertical-panel% (parent parent))) (define advisory diff --git a/drracket/info.rkt b/drracket/info.rkt index c866e714c..eb039d650 100644 --- a/drracket/info.rkt +++ b/drracket/info.rkt @@ -18,7 +18,7 @@ "sandbox-lib" ("scribble-lib" #:version "1.11") ("snip-lib" #:version "1.2") - ["string-constants-lib" #:version "1.31"] + ["string-constants-lib" #:version "1.32"] "typed-racket-lib" "wxme-lib" ["gui-lib" #:version "1.45"]