Gnome-terminal patch 0.1

Gnome-terminal patch adds fast font selection to gnome-terminal. It should be going into CVS at some point, but I'm not holding my breath... update 08/09/01 - ...which was a good plan as the patch is now very out of date.

Developer comments

One day I will find, polish and publish the updated patch that I have around, but I do not look forward to the pain of trying to find then persuade TPTB to apply this patch.

Product's homepage

Requirements:

· GNOME