[plt-translators] english-string-constants.ss update

From: Philippe Meunier (meunier at ccs.neu.edu)
Date: Mon Jan 2 07:12:19 EST 2006

----- Forwarded message from Philippe Meunier <meunier at ccs.neu.edu> -----

Index: $PLTHOME/collects/string-constants/english-string-constants.ss
--- $PLTHOME/collects/string-constants/english-string-constants.ss	(revision 1664)
+++ $PLTHOME/collects/string-constants/english-string-constants.ss	(working copy)
@@ -304,8 +304,15 @@
   ;; in the Help Desk language dialog, title on the right.
   (plt:hd:manual-search-ordering "Manual Search Order")
+  ;; in the help-desk standalone font preference dialog, on a check box
+  (use-drscheme-font-size "Use DrScheme's font size")
+  ;; in the preferences dialog in drscheme there is example text for help desk font size.
+  ;; clicking the links in that text produces a dialog with this message
+  (help-desk-this-is-just-example-text
+   "This is just example text for setting the font size. Open Help Desk proper (from Help menu) to follow these links.")
  ;; Help desk htty proxy
  (http-proxy "HTTP Proxy")
  (proxy-direct-connection "Direct connection")

----- End forwarded message -----

Posted on the translators mailing list.