From 99301c15ff123a726f97aa47fb9e32a5918d838f Mon Sep 17 00:00:00 2001 From: Mike Sperber Date: Sat, 29 Dec 2012 15:16:30 +0100 Subject: [PATCH] Synch German string constants with latest. --- collects/string-constants/private/german-string-constants.rkt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/collects/string-constants/private/german-string-constants.rkt b/collects/string-constants/private/german-string-constants.rkt index e6d7da0824..ed14dfd665 100644 --- a/collects/string-constants/private/german-string-constants.rkt +++ b/collects/string-constants/private/german-string-constants.rkt @@ -214,7 +214,8 @@ ;; menu items connected to the logger -- also in a button in the planet status line in the drs frame (show-log "&Log einblenden") (hide-log "&Log ausblenden") - (logging-all "Alle") ;; in the logging window in drscheme, shows all logs simultaneously + (logger-scroll-on-output "Bei Ausgabe scrollen") ; a checkbox in the logger pane + (log-messages "Log-Nachrichten") ;; label for the drracket logging gui panel ;; modes (mode-submenu-label "Modi")