Gnome-terminal patch adds fast font selection to gnome-terminal.
Version: 0.1Gnome-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.
Operating System: Linux
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.