File tree 2 files changed +5
-1
lines changed
2 files changed +5
-1
lines changed Original file line number Diff line number Diff line change 7
7
8
8
(define pkg-authors '(robby))
9
9
10
- (define version "1.31 " )
10
+ (define version "1.32 " )
Original file line number Diff line number Diff line change @@ -1097,14 +1097,18 @@ please adhere to these guidelines:
1097
1097
" in info.rkt file for ~s, got ~e and ~e " )
1098
1098
(error-getting-info-tool
1099
1099
"error loading info.rkt file for ~s " )
1100
+ (tool-tool-phase "can only be called in phase: ~a " )
1100
1101
(tool-error-phase1 "Error in phase 1 for tool ~s; ~s " )
1101
1102
(tool-error-phase2 "Error in phase 2 for tool ~s; ~s " )
1102
1103
;; tool preferences panel
1103
1104
(tool-config-changes
1104
1105
"Changes to tool configuration will take effect the next time you start DrRacket. " )
1105
1106
(installed-tools "Installed tools " )
1106
1107
(tool-prefs-panel-tool:-label "Tool: " )
1108
+ (tool-prefs-panel-title "Tools " )
1107
1109
(load-tool-when-drracket-starts? "Load the tool when DrRacket starts? " )
1110
+ (load-tool-load "Load the tool " )
1111
+ (load-tool-skip "Skip the tool " )
1108
1112
(unnamed-tool "unnamed tool ~a " )
1109
1113
(note-that-tool-loaded " (loaded) " )
1110
1114
(note-that-tool-was-skipped " (skipped) " )
You can’t perform that action at this time.
0 commit comments