commit -- Re: patch: GUI font size on UNIX

Subject: commit -- Re: patch: GUI font size on UNIX
From: sam th (sam@uchicago.edu)
Date: Thu Jul 13 2000 - 23:59:58 CDT

• sorted by: [ date ] [ thread ] [ subject ] [ author ]
• Next message: sam th: "commit -- more signal handling stuff"
• Previous message: sam th: "Re: Small patch text.c"
• In reply to: WJCarpenter: "patch: GUI font size on UNIX"
• Reply: sam th: "commit -- Re: patch: GUI font size on UNIX"

-----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
                                     sam@uchicago.edu
                                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-----

• Next message: sam th: "commit -- more signal handling stuff"
• Previous message: sam th: "Re: Small patch text.c"
• In reply to: WJCarpenter: "patch: GUI font size on UNIX"
• Reply: sam th: "commit -- Re: patch: GUI font size on UNIX"

This archive was generated by hypermail 2b25 : Thu Jul 13 2000 - 22:55:30 CDT