We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 805aab3 commit 06a8254Copy full SHA for 06a8254
2 files changed
string-constants-lib/info.rkt
@@ -7,4 +7,4 @@
7
8
(define pkg-authors '(robby))
9
10
-(define version "1.31")
+(define version "1.32")
string-constants-lib/string-constants/private/english-string-constants.rkt
@@ -1104,7 +1104,10 @@ please adhere to these guidelines:
1104
"Changes to tool configuration will take effect the next time you start DrRacket.")
1105
(installed-tools "Installed tools")
1106
(tool-prefs-panel-tool:-label "Tool: ")
1107
+ (tool-prefs-panel-title "Tools")
1108
(load-tool-when-drracket-starts? "Load the tool when DrRacket starts?")
1109
+ (load-tool-load "Load the tool")
1110
+ (load-tool-skip "Skip the tool")
1111
(unnamed-tool "unnamed tool ~a")
1112
(note-that-tool-loaded " (loaded)")
1113
(note-that-tool-was-skipped " (skipped)")
0 commit comments