changeset 7710 | 1d2a2971ee34 |
parent 7701 | 8ec4585fa762 |
child 7871 | 4a0de452b262 |
--- a/Font.st Thu Nov 24 10:00:20 2016 +0100 +++ b/Font.st Thu Nov 24 16:53:54 2016 +0100 @@ -481,7 +481,12 @@ ]. "receiver was already associated to another device - need a new font" - ^ super onDevice:aDevice ifAbsent:exceptionBlock + ^ super + onDevice:aDevice + xFontsOnly:xFontsOnly xftFontsOnly:xftFontsOnly + ifAbsent:exceptionBlock + + "Modified: / 24-11-2016 / 16:53:36 / cg" ! replacementFontOnDevice:aDevice