From 60e2c2400d49ffcbfd0fc4c694dc432b195e215a Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sun, 4 May 2014 21:28:07 -0500 Subject: [PATCH] add some string constants to be used by the gui pkg manager --- .../string-constants/private/english-string-constants.rkt | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/pkgs/string-constants-pkgs/string-constants-lib/string-constants/private/english-string-constants.rkt b/pkgs/string-constants-pkgs/string-constants-lib/string-constants/private/english-string-constants.rkt index 9af63c75af..9dd99885b4 100644 --- a/pkgs/string-constants-pkgs/string-constants-lib/string-constants/private/english-string-constants.rkt +++ b/pkgs/string-constants-pkgs/string-constants-lib/string-constants/private/english-string-constants.rkt @@ -277,7 +277,9 @@ please adhere to these guidelines: (not-running "not running") (install-package-button "Install ~a") ;; button label: ~a is filled with the name of a pkg - + (update-catalog "Update Catalog") ;; button label; shown when there is a missing module, but no matching package + (updating-catalog-from "Updating from ~a...") ;; message label; used as a status message when updating the pkg catalog + ;;; misc (welcome-to-something "Welcome to ~a")