From f76bee8180f961b7da5a5a1c8399d266ca8b133a Mon Sep 17 00:00:00 2001 From: Mike Sperber Date: Sat, 16 Apr 2011 09:18:59 +0200 Subject: [PATCH] Synch German string constants with latest. --- collects/string-constants/german-string-constants.rkt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/collects/string-constants/german-string-constants.rkt b/collects/string-constants/german-string-constants.rkt index b3c62d2d69..b11487674d 100644 --- a/collects/string-constants/german-string-constants.rkt +++ b/collects/string-constants/german-string-constants.rkt @@ -350,7 +350,7 @@ (show-status-line "Status-Zeile anzeigen") (count-columns-from-one "Spaltennummern fangen mit 1 an") (display-line-numbers "Zeilennummern in Puffern anzeigen, keine Puffer-Indizes") - (show-line-and-column-numbers "Zeilen- und Spaltennummern anzeigen") ; used for popup menu; right click on line/column box in bottom of drs window + (show-line-and-column-numbers "Zeilen- && Spaltennummern anzeigen") ; used for popup menu; right click on line/column box in bottom of drs window (show-character-offsets "Zeichen-Offsets anzeigen") ; used for popup menu; right click on line/column box in bottom of drs window (enable-keybindings-in-menus "Tastenbelegung für Menüs") (automatically-to-ps "Automatisch in PostScript-Datei drucken") @@ -368,6 +368,7 @@ (show-line-numbers/menu "Zeilen&nummern einblenden") (hide-line-numbers/menu "Zeilen&nummern ausblenden") + (show-line-numbers-in-definitions "Alle Zeilennummern in Definitionen einblenden") ;; shows up in the popup menu item in the bottom of the drracket window; controls the line numbers on each line in the definitions; used in a checkable menu item (limit-interactions-size "Umfang der Interaktionen einschränken") (background-color "Hintergrundfarbe") (default-text-color "Standard für Text") ;; used for configuring colors, but doesn't need the word "color"