From 343b93f066115210e98da8b6abcd8edc7fd41043 Mon Sep 17 00:00:00 2001 From: Mike Sperber Date: Sat, 15 Jun 2013 13:42:13 +0200 Subject: [PATCH] Synch German string constants with latest. --- collects/string-constants/private/german-string-constants.rkt | 3 +++ 1 file changed, 3 insertions(+) diff --git a/collects/string-constants/private/german-string-constants.rkt b/collects/string-constants/private/german-string-constants.rkt index e9285e20da..10021a4bcc 100644 --- a/collects/string-constants/private/german-string-constants.rkt +++ b/collects/string-constants/private/german-string-constants.rkt @@ -428,6 +428,9 @@ (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 + (maximum-char-width-guide-pref-check-box "Richtschnur für maximale Zeichenbreite") + (hide-column-width-guide "Richtschnur für Spaltenbreite für Dateien mit ~a Spalten einblenden") + (show-column-width-guide "Richtschnur für Spaltenbreite für Dateien mit ~a Spalten ausblenden") ;; filled with a number > 2 (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"