-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
On Wed, 12 Jul 2000, WJCarpenter wrote:
> That attached patch (against 071200 sources) changes the hardwired GUI
> font size from 10pt to 12pt. That font is used in the status bar and
> to put the numbers on the rulers.
This has been committed.
>
> BTW, was anyone else on Unix seeing the previous font as being too
> small? Does the new font (after this patch) look bad for anyone? It
> looks great here.
Looks good for me.
sam th
[EMAIL PROTECTED]
http://www.abisource.com/~sam/
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.0.1 (GNU/Linux)
Comment: For info see http://www.gnupg.org
iD8DBQE5bp5Pt+kM0Mq9M/wRApHgAJ9PKkYXfXo9YP1ZHNvqR9TdmsPjxwCg0U+P
6HEThICjsVV84SywE3N4pSg=
=9Ah4
-----END PGP SIGNATURE-----
