diff --git a/string-constants-lib/info.rkt b/string-constants-lib/info.rkt index 88efc707..40ab0056 100644 --- a/string-constants-lib/info.rkt +++ b/string-constants-lib/info.rkt @@ -7,4 +7,4 @@ (define pkg-authors '(robby)) -(define version "1.31") +(define version "1.32") diff --git a/string-constants-lib/string-constants/private/english-string-constants.rkt b/string-constants-lib/string-constants/private/english-string-constants.rkt index 6b0851bf..e9a3f184 100644 --- a/string-constants-lib/string-constants/private/english-string-constants.rkt +++ b/string-constants-lib/string-constants/private/english-string-constants.rkt @@ -1104,7 +1104,10 @@ please adhere to these guidelines: "Changes to tool configuration will take effect the next time you start DrRacket.") (installed-tools "Installed tools") (tool-prefs-panel-tool:-label "Tool: ") + (tool-prefs-panel-title "Tools") (load-tool-when-drracket-starts? "Load the tool when DrRacket starts?") + (load-tool-load "Load the tool") + (load-tool-skip "Skip the tool") (unnamed-tool "unnamed tool ~a") (note-that-tool-loaded " (loaded)") (note-that-tool-was-skipped " (skipped)")