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

From: Philippe Meunier (meunier at ccs.neu.edu)
Date: Fri Aug 17 05:13:43 EDT 2012

commit 0c6734f782867b0401db15eb687fd246552e17b5
Author: Robby Findler <robby at racket-lang.org>
Date:   Sat Aug 11 22:56:38 2012 -0500

    Add the contents of the "blue boxes" in the docs to the upper-right
    corner of the definitions window, based on the information that check
    syntax computes
    
    This commit contains two separate changes to make this work:
    
      - adding a new renderer, based on the text renderer, that
        pulls out the contents of the blue boxes and saves them
        in the doc/ directories (specifically in the files named
        contract-blueboxes.rktd)
    
      - extend check syntax to use and display the information
        build by the new renderer
============================================================
diff --git a/collects/string-constants/private/english-string-constants.rkt b/collects/string-constants/private/english-string-constants.rkt
index a0635c0..cc865f0 100644
--- a/collects/string-constants/private/english-string-constants.rkt
+++ b/collects/string-constants/private/english-string-constants.rkt
@@ -228,12 +228,16 @@ please adhere to these guidelines:
   (cs-mode-menu-show-client-obligations "Client Contract Obligations")
   (cs-mode-menu-show-syntax "Syntactic Categories")
   
+  ;; the documentation blue boxes in the upper-right corner of the drracket window
+  (sc-read-more... "read more ...")
+  (sc-f2-to-un/lock "f2 to (un)lock")
+  
  ;; the online check syntax status messages (mouse over the bottom right of drracket's window to see the messages during online expansion's various phases)
  (online-expansion-running "Online expansion running")
  (online-expansion-only-raw-text-files-supported "Only pure text files supported")
  (online-expansion-abnormal-termination "Online expansion terminated abnormally")
  (online-expansion-finished-successfully "Online expansion finished successfully")
-
+  
  (jump-to-error "Jump to Error")
  (online-expansion-is-disabled "Online expansion is disabled")
  ;; these next two show up in the bar along the bottom of the drracket window


Posted on the translators mailing list.