File tree Expand file tree Collapse file tree 2 files changed +4
-1
lines changed Expand file tree Collapse file tree 2 files changed +4
-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 @@ -1104,7 +1104,10 @@ please adhere to these guidelines:
11041104 "Changes to tool configuration will take effect the next time you start DrRacket. " )
11051105 (installed-tools "Installed tools " )
11061106 (tool-prefs-panel-tool:-label "Tool: " )
1107+ (tool-prefs-panel-title "Tools " )
11071108 (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 " )
11081111 (unnamed-tool "unnamed tool ~a " )
11091112 (note-that-tool-loaded " (loaded) " )
11101113 (note-that-tool-was-skipped " (skipped) " )
You can’t perform that action at this time.
0 commit comments