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"