changeset 19630 | 6588977b5589 |
parent 19582 | fed14e56c228 |
child 19631 | 3eda8aa7e7fe |
--- a/UserPreferences.st Thu Apr 21 15:59:26 2016 +0200 +++ b/UserPreferences.st Thu Apr 21 16:54:14 2016 +0200 @@ -1924,6 +1924,11 @@ aDictionary isNil ifTrue:[^ self]. self fontPreferencesChanged. + + " + UserPreferences current fontPreferences + UserPreferences current fontPreferences:nil + " ! fontPreferencesChanged