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 3e50572 commit 39fa4e9Copy full SHA for 39fa4e9
2 files changed
drracket/drracket/private/tools.rkt
@@ -492,12 +492,12 @@
492
493
;; Preferences GUI
494
495
-(define load-action "Load the tool")
496
-(define skip-action "Skip the tool")
+(define load-action (string-constant load-tool-load))
+(define skip-action (string-constant load-tool-skip))
497
498
(define (add-prefs-panel)
499
(preferences:add-panel
500
- "Tools"
+ (string-constant tool-prefs-panel-title)
501
(lambda (parent)
502
(define main (new-vertical-panel% (parent parent)))
503
(define advisory
drracket/info.rkt
@@ -18,7 +18,7 @@
18
"sandbox-lib"
19
("scribble-lib" #:version "1.11")
20
("snip-lib" #:version "1.2")
21
- ["string-constants-lib" #:version "1.31"]
+ ["string-constants-lib" #:version "1.32"]
22
"typed-racket-lib"
23
"wxme-lib"
24
["gui-lib" #:version "1.45"]
0 commit comments