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

From: Philippe Meunier (meunier at ccs.neu.edu)
Date: Sun Mar 25 11:52:04 EDT 2012

commit 0d6b82537776ad4bd850e3b7c5cc1bdaa209b865
Author: Robby Findler <robby at racket-lang.org>
Date:   Sat Mar 24 18:36:47 2012 -0500

    add a preference to control whether or not there is an extra
    pixel of space in between lines in DrRacket.
    
    This change is based on Matthew's experience having a look
    at the font setup on the three platforms.
    
    He writes:
    >  * Mac OS X: the convention seems to be to add space between lines.
    >   TextEdit, for example, looks like DrRacket: the maze has spaces.
    >
    >   (I can't find a font that makes the maze look right, actually, even
    >   if I adjust the line spacing.)
    >
    >  * Windows: the convention seems to be that space is built into the
    >   font. DrRacket (and SirMail) draw lines more sparsely than Notepad.
    >
    >   Perhaps consistent with the differing conventions, the height of
    >   "Courier New" at 11-pixel size is 14 on Windows, 13 on Mac OS X.
    >
    >  * Unix: the convention seems to be to add space. DrRacket looks like
    >   the default Terminal and Text Editor programs on Ubuntu.
    >
    >   The maze nevertheless looks right everywhere, because the glyphs
    >   extend an extra pixel above the declared bounding box!
============================================================
diff --git a/collects/string-constants/private/english-string-constants.rkt b/collects/string-constants/private/english-string-constants.rkt
index 0cdcc86..c9638d1 100644
--- a/collects/string-constants/private/english-string-constants.rkt
+++ b/collects/string-constants/private/english-string-constants.rkt
@@ -509,6 +509,8 @@ please adhere to these guidelines:
   (black-on-white-color-scheme "Black on White") ;; these two appear in the color preferences dialog on butttons
   (white-on-black-color-scheme "White on Black") ;; clicking the buttons changes the color schemes to some defaults that've been set up.
   
+  (add-spacing-between-lines "Add one pixel of extra space between lines")
+  
  ; title of the color choosing dialog
 
  ; should have entire alphabet


Posted on the translators mailing list.