From 9ee86541b63766c181fbf8772c0f9f3662cfb9d3 Mon Sep 17 00:00:00 2001 From: Mike Sperber Date: Mon, 30 Jul 2007 09:54:29 +0000 Subject: [PATCH] Synch with latest. svn: r6983 --- collects/string-constants/german-string-constants.ss | 1 + 1 file changed, 1 insertion(+) diff --git a/collects/string-constants/german-string-constants.ss b/collects/string-constants/german-string-constants.ss index 514f476dc1..639cce2216 100644 --- a/collects/string-constants/german-string-constants.ss +++ b/collects/string-constants/german-string-constants.ss @@ -313,6 +313,7 @@ (open-files-in-tabs "Dateien in separaten Tabs öffnen (nicht separaten Fenstern)") (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 (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"