UserPreferences.st
changeset 19787 08c4eaf6cfb3
parent 19783 7bfb43d27fb9
child 19797 fb12455698e1
child 19811 65fec19facb0
equal deleted inserted replaced
19786:56759dfa76aa 19787:08c4eaf6cfb3
  1968             s := dict at:key ifAbsent:nil.
  1968             s := dict at:key ifAbsent:nil.
  1969             s notNil ifTrue:[
  1969             s notNil ifTrue:[
  1970                 fn := Object readFrom:s.
  1970                 fn := Object readFrom:s.
  1971                 self useXftFontsOnly ifTrue:[
  1971                 self useXftFontsOnly ifTrue:[
  1972                     fn := XftFontDescription for:fn
  1972                     fn := XftFontDescription for:fn
  1973                 ].    
  1973 		    "/ cg: don't allocate on the display, because it takes
  1974                 Display notNil ifTrue:[fn := fn onDevice:Display].
  1974 		    "/ dam long sometimes when Xft fonts are used.
       
  1975 		    "/ startup feels better, if we do it lazy.
       
  1976                 ] ifFalse:[    
       
  1977                     Display notNil ifTrue:[fn := fn onDevice:Display].
       
  1978 		]
  1975             ].
  1979             ].
  1976             fn
  1980             fn
  1977         ].
  1981         ].
  1978     
  1982     
  1979     fn := getFont value:#Other.
  1983     fn := getFont value:#Other.