diff --git a/collects/string-constants/german-string-constants.ss b/collects/string-constants/german-string-constants.ss index 54fdcc3631..6ea9aac7c2 100644 --- a/collects/string-constants/german-string-constants.ss +++ b/collects/string-constants/german-string-constants.ss @@ -279,6 +279,7 @@ (preferences "Einstellungen") (error-saving-preferences "Fehler beim Speichern der Einstellungen für ~a") (error-saving-preferences-title "Fehler beim Speichern der Einstellungen") + (steal-the-lock-and-retry "Lock an uns reißen && nochmal versuchen") ;; in the preferences error dialog; this happens when the lockfile exists (after 3 pref writes). (error-reading-preferences "Fehler beim Lesen der Einstellungen") (prefs-file-locked "Die Datei mit den Einstellungen ist gesperrt (weil die Datei ~a existiert), weshalb die Änderungen an den Einstellungen nicht gespeichert werden konnten. Änderung an den Einstellungen rückgängig machen?") (try-again "Nochmal versuchen") ;; button label