Gnome-terminal patch

Gnome-terminal patch adds fast font selection to gnome-terminal.

Version: 0.1
License: GPL
Operating System: Linux
Homepage: www.ex-parrot.com
Developed by: Paul Warren

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.