nhyatt/putty-source
1
0
Fork 0
mirror of https://git.tartarus.org/simon/putty.git synced 2025-07-04 13:02:47 -05:00
Code Issues Projects Releases Wiki Activity

Enable the display of server-side font aliases by default in my font

Browse Source 
selector. I had previously been worried that the default of not
showing aliases interacted badly with the default actual font
_being_ specified as an alias. One of those defaults had to change,
and I've decided which: `fixed' is staying as Unix PuTTY's default
font in defiance of GTK2's vigorous encouragement of Pango.

[originally from svn r7960]
This commit is contained in:
Simon Tatham
2008-04-02 14:50:47 +00:00
parent 6a743399b0
commit 29d875f7da
2 changed files with 2 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
unix/GTK2.TODO
View File

@ -3,13 +3,6 @@ TODO for PuTTY GTK2 port before merging back into main trunk code
Things to do before deciding a merge is feasible:
- Although I'm still stubbornly _supporting_ X11 fonts alongside
Pango ones in defiance of standard GTK2 policy, it might be a
good idea to at least switch the default font to Pango's
Monospace 12, not least so that font aliases don't come up
selected by default. Then again, perhaps keeping fixed as the
default is more traditional. Hmm.
- gtkcols.c is currently a minimal-work GTK2 port of my original
GTK1 implementation. Someone should go through it and compare it
to a real GTK2 container class, to make sure there aren't any