From 1d154e4bc320466063adeeb5ac72d6ebc9be7f61 Mon Sep 17 00:00:00 2001 From: Mike Sperber Date: Fri, 26 Nov 2010 13:27:35 +0100 Subject: [PATCH] Synch German string constants with latest. --- collects/string-constants/german-string-constants.rkt | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/collects/string-constants/german-string-constants.rkt b/collects/string-constants/german-string-constants.rkt index 4aeea50975..f89b7da066 100644 --- a/collects/string-constants/german-string-constants.rkt +++ b/collects/string-constants/german-string-constants.rkt @@ -344,8 +344,10 @@ (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") + (show-line-numbers "Zeilennummern einblenden") + (show-line-numbers/menu "Zeilennummern einblenden") + (hide-line-numbers/menu "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"