diff --git a/collects/string-constants/german-string-constants.ss b/collects/string-constants/german-string-constants.ss index 77e8444dad..93dd64fb07 100644 --- a/collects/string-constants/german-string-constants.ss +++ b/collects/string-constants/german-string-constants.ss @@ -330,6 +330,7 @@ (change-font-button-label "Ändern") (fonts "Schriften") + (other... "Andere...") ;; used in the font choice menu item ; filled with type of font, eg modern, swiss, etc. (choose-a-new-font "Neuen Font für \"~a\" wählen")