equal
deleted
inserted
replaced
1 "{ Encoding: utf8 }" |
|
2 |
|
3 " |
1 " |
4 COPYRIGHT (c) 1989 by Claus Gittinger |
2 COPYRIGHT (c) 1989 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 |
7648 size:13 |
7646 size:13 |
7649 encoding:#'iso10646-1' |
7647 encoding:#'iso10646-1' |
7650 ). |
7648 ). |
7651 |
7649 |
7652 Screen current |
7650 Screen current |
7653 heightOf:'hello World gggÖÜ' from:1 to:15 |
7651 heightOf:'hello World ggg' from:1 to:15 |
7654 inFont:(Screen current getDefaultFontWithEncoding:#'iso10646-1') |
7652 inFont:(Screen current getDefaultFontWithEncoding:#'iso10646-1') |
7655 " |
7653 " |
7656 ! |
7654 ! |
7657 |
7655 |
7658 listOfAvailableFonts |
7656 listOfAvailableFonts |