From 188e1ddcc1e6820d5d8f10cb23cebf493c9ee2c3 Mon Sep 17 00:00:00 2001 From: Mike Sperber Date: Sat, 2 Oct 2010 16:52:20 +0200 Subject: [PATCH] Synch German string constants with latest. --- collects/string-constants/german-string-constants.rkt | 2 ++ 1 file changed, 2 insertions(+) diff --git a/collects/string-constants/german-string-constants.rkt b/collects/string-constants/german-string-constants.rkt index 6c7600e1f9..7b035962bc 100644 --- a/collects/string-constants/german-string-constants.rkt +++ b/collects/string-constants/german-string-constants.rkt @@ -345,6 +345,8 @@ (show-interactions-on-execute "Interaktionen beim Programmstart automatisch öffnen") (switch-to-module-language-automatically "Automatisch in die `module'-Sprache wechseln, wenn ein Modul geöffnet wird") (interactions-beside-definitions "Interaktionen neben den Definitionen anzeigen") ;; in preferences, below the checkbox one line above this one + (show-line-numbers "Zeilennummern anzeigen") + (hide-line-numbers "Zeilennummern ausblenden") (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"