diff --git a/collects/string-constants/german-string-constants.ss b/collects/string-constants/german-string-constants.ss index ebe8e1d05c..a9c3c7c1bf 100644 --- a/collects/string-constants/german-string-constants.ss +++ b/collects/string-constants/german-string-constants.ss @@ -226,6 +226,11 @@ (help-desk-this-is-just-example-text "Dies ist nur ein Beispieltext für das Setzen der Schriftgröße. Öffnen sie das Hilfezentrum (im \"Hilfe\"-Menü), um diesen Links zu folgen.") + ;; this appears in the bottom part of the frame the first time the user hits `f1' + ;; (assuming nothing else has loaded the documentation index first) + ;; see also: cs-status-loading-docs-index + (help-desk-loading-documentation-index "Hilfezentrum: Dokumentations-Index wird geladen") + ;; Help desk htty proxy (http-proxy "HTTP-Proxy") (proxy-direct-connection "Direkte Verbindung")