equal
deleted
inserted
replaced
1 "{ Encoding: utf8 }" |
|
2 |
|
3 " |
1 " |
4 COPYRIGHT (c) 1994 by Claus Gittinger |
2 COPYRIGHT (c) 1994 by Claus Gittinger |
5 All Rights Reserved |
3 All Rights Reserved |
6 |
4 |
7 This software is furnished under a license and may be used |
5 This software is furnished under a license and may be used |
1234 ^ newFont onDevice:aDevice. |
1232 ^ newFont onDevice:aDevice. |
1235 |
1233 |
1236 "Created: 28.3.1997 / 16:09:30 / cg" |
1234 "Created: 28.3.1997 / 16:09:30 / cg" |
1237 ! |
1235 ! |
1238 |
1236 |
|
1237 scaled:factor |
|
1238 "return another font corresponding to the receiver's family, face and style but |
|
1239 with another pixel size" |
|
1240 |
|
1241 |newFont| |
|
1242 |
|
1243 family isNil ifTrue:[ |
|
1244 "CompoundFonts do not have a family" |
|
1245 ^ self |
|
1246 ]. |
|
1247 newFont := self class |
|
1248 family:family |
|
1249 face:face |
|
1250 style:style |
|
1251 size:(size * factor) rounded |
|
1252 sizeUnit:sizeUnit |
|
1253 encoding:encoding. |
|
1254 newFont isGenericFont:self isGenericFont. |
|
1255 ^ newFont onDevice:self graphicsDevice. |
|
1256 ! |
|
1257 |
1239 size:anotherSize |
1258 size:anotherSize |
1240 <resource: #obsolete> |
1259 <resource: #obsolete> |
1241 |
1260 |
1242 "return a font corresponding to the receiver, but with different size." |
1261 "return a font corresponding to the receiver, but with different size." |
1243 |
1262 |