equal
deleted
inserted
replaced
305 face:face |
305 face:face |
306 style:style |
306 style:style |
307 size:size |
307 size:size |
308 sizeUnit:(sizeUnit ? #pt) |
308 sizeUnit:(sizeUnit ? #pt) |
309 encoding:encoding |
309 encoding:encoding |
310 ! |
|
311 |
|
312 asNonXftFont |
|
313 "in some situations, we do not want an Xft font..." |
|
314 |
|
315 ^ self. |
|
316 |
|
317 "Created: / 12-02-2017 / 21:56:51 / cg" |
|
318 ! ! |
310 ! ! |
319 |
311 |
320 !Font methodsFor:'copying'! |
312 !Font methodsFor:'copying'! |
321 |
313 |
322 deepCopyUsing:aDictionary postCopySelector:postCopySelector |
314 deepCopyUsing:aDictionary postCopySelector:postCopySelector |