changeset 7871 | 4a0de452b262 |
parent 7710 | 1d2a2971ee34 |
child 7873 | 8e302fa3feef |
--- a/Font.st Sun Feb 12 21:56:29 2017 +0100 +++ b/Font.st Sun Feb 12 21:57:11 2017 +0100 @@ -316,6 +316,14 @@ size:size sizeUnit:(sizeUnit ? #pt) encoding:encoding +! + +asNonXftFont + "in some situations, we do not want an Xft font..." + + ^ self. + + "Created: / 12-02-2017 / 21:56:51 / cg" ! ! !Font methodsFor:'copying'!