UserPreferences.st
changeset 23782 1fc3c2e0bc92
parent 23608 4b263e7e24c1
child 23904 37b084c9cc20
--- a/UserPreferences.st	Thu Feb 28 09:45:43 2019 +0100
+++ b/UserPreferences.st	Fri Mar 01 12:04:02 2019 +0100
@@ -2165,7 +2165,7 @@
 !
 
 fontPreferences:aDictionary
-    "experimental"
+    "experimental; aDictionary maps symbolic keys (such as #Button) to fonts"
 
     self at:#fontPreferences put:aDictionary.
     aDictionary isNil ifTrue:[^ self].
@@ -2176,6 +2176,8 @@
      UserPreferences current fontPreferences
      UserPreferences current fontPreferences:nil
     "
+
+    "Modified (comment): / 01-03-2019 / 11:44:29 / Claus Gittinger"
 !
 
 fontPreferencesChanged
@@ -2193,6 +2195,9 @@
             s := dict at:key ifAbsent:nil.
             s notNil ifTrue:[
                 fn := Object readFrom:s.
+                "/ make sure, there are only fontDescription storestrings in the dict
+                dict at:key put:(fn asFontDescription storeString).
+                "/ now get the font.
                 self useXftFontsOnly ifTrue:[
                     fn := XftFontDescription for:fn
                     "/ cg: don't allocate on the display, because it takes
@@ -2250,6 +2255,12 @@
         NoteBookView defaultFont:fn.
         PullDownMenu defaultFont:fn.
     ].
+
+    "
+     UserPreferences current fontPreferencesChanged
+    "
+
+    "Modified (comment): / 01-03-2019 / 11:46:19 / Claus Gittinger"
 !
 
 forceWindowsIntoMonitorBounds