diff -r 065f07135d35 -r 6019f0420dce AbstractLauncherApplication.st --- a/AbstractLauncherApplication.st Thu Aug 24 17:56:49 2017 +0200 +++ b/AbstractLauncherApplication.st Thu Aug 24 18:00:15 2017 +0200 @@ -3893,8 +3893,8 @@ ]. box destroy - "Modified: / 9.9.1996 / 22:43:04 / stefan" - "Modified: / 20.5.1999 / 18:35:21 / cg" + "Modified: / 09-09-1996 / 22:43:04 / stefan" + "Modified: / 24-08-2017 / 15:19:24 / cg" ! editSettings @@ -4331,7 +4331,7 @@ ]. "/ check if the new language needs a differently encoded font; - "/ ask user to switch font and allow cancellation. + "/ ask user to switch font and allow cancelation. "/ Otherwise, you are left with unreadable menu & button items ... oldLanguage := UserPreferences current language. @@ -4398,6 +4398,7 @@ "Modified: / 09-09-1996 / 22:43:27 / stefan" "Modified: / 19-10-2006 / 22:17:01 / cg" + "Modified (comment): / 24-08-2017 / 14:57:16 / cg" ! memorySettings