From 39fa4e97b16c13841d4dac1434747f5302c32f6a Mon Sep 17 00:00:00 2001 From: Alexander Shopov Date: Sun, 16 Feb 2020 15:06:56 +0100 Subject: [PATCH] Extract new translatable constants, bump dependency Signed-off-by: Alexander Shopov --- drracket/drracket/private/tools.rkt | 6 +++--- drracket/info.rkt | 2 +- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/drracket/drracket/private/tools.rkt b/drracket/drracket/private/tools.rkt index cfff9f724..69af981ea 100644 --- a/drracket/drracket/private/tools.rkt +++ b/drracket/drracket/private/tools.rkt @@ -492,12 +492,12 @@ ;; Preferences GUI -(define load-action "Load the tool") -(define skip-action "Skip the tool") +(define load-action (string-constant load-tool-load)) +(define skip-action (string-constant load-tool-skip)) (define (add-prefs-panel) (preferences:add-panel - "Tools" + (string-constant tool-prefs-panel-title) (lambda (parent) (define main (new-vertical-panel% (parent parent))) (define advisory diff --git a/drracket/info.rkt b/drracket/info.rkt index c866e714c..eb039d650 100644 --- a/drracket/info.rkt +++ b/drracket/info.rkt @@ -18,7 +18,7 @@ "sandbox-lib" ("scribble-lib" #:version "1.11") ("snip-lib" #:version "1.2") - ["string-constants-lib" #:version "1.31"] + ["string-constants-lib" #:version "1.32"] "typed-racket-lib" "wxme-lib" ["gui-lib" #:version "1.45"]