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

commit c675cf47f03cd50ff305bc7947c95628da151da5
Author: Robby Findler <robby at racket-lang.org>
Date:   Mon Sep 17 10:47:22 2012 -0500

    adjust the print-to-ps preference in DrRacket so that you can also
    choose to print to pdf as well. Also, enable the preference
    under linux (ie, make it available to be chosen-- all platforms
    still default to printing via the platform-specific mechanism)
============================================================
diff --git a/collects/string-constants/private/english-string-constants.rkt b/collects/string-constants/private/english-string-constants.rkt
index 4cff790..26680b8 100644
--- a/collects/string-constants/private/english-string-constants.rkt
+++ b/collects/string-constants/private/english-string-constants.rkt
@@ -499,7 +499,10 @@ please adhere to these guidelines:
  (show-line-and-column-numbers "Show Line && Column Numbers") ; used for popup menu; right click on line/column box in bottom of drs window
  (show-character-offsets "Show Character Offsets") ; used for popup menu; right click on line/column box in bottom of drs window
  (enable-keybindings-in-menus "Enable keybindings in menus")
- (automatically-to-ps "Automatically print to PostScript file")
+ (printing-mode "Printing Mode")
+ (print-using-platform-specific-mode "Platform-specific printing")
+ (print-to-ps "Print to PostScript File")
+ (print-to-pdf "Print to PDF File")
  (command-as-meta "Treat command key as meta") ;; macos/macos x only
  (reuse-existing-frames "Reuse existing frames when opening new files")
  (default-fonts "Default Fonts")