File tree Expand file tree Collapse file tree 2 files changed +5
-1
lines changed Expand file tree Collapse file tree 2 files changed +5
-1
lines changed Original file line number Diff line number Diff line change 77
88(define pkg-authors '(robby))
99
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:
10971097 " in info.rkt file for ~s, got ~e and ~e " )
10981098 (error-getting-info-tool
10991099 "error loading info.rkt file for ~s " )
1100+ (tool-tool-phase "can only be called in phase: ~a " )
11001101 (tool-error-phase1 "Error in phase 1 for tool ~s; ~s " )
11011102 (tool-error-phase2 "Error in phase 2 for tool ~s; ~s " )
11021103 ;; tool preferences panel
11031104 (tool-config-changes
11041105 "Changes to tool configuration will take effect the next time you start DrRacket. " )
11051106 (installed-tools "Installed tools " )
11061107 (tool-prefs-panel-tool:-label "Tool: " )
1108+ (tool-prefs-panel-title "Tools " )
11071109 (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 " )
11081112 (unnamed-tool "unnamed tool ~a " )
11091113 (note-that-tool-loaded " (loaded) " )
11101114 (note-that-tool-was-skipped " (skipped) " )
You can’t perform that action at this time.
0 commit comments