Re: Gnome terminal patch

[Kevin Pearcey <kevp nipltd com>]

"Gustavo M. Giráldez" wrote:
> 
> Hi!
> 
> I was redirected here by George, which I thought was the gnome-terminal
> mantainer (thanks George). This patch allows you to choose the terminal
> font from a user-definable list from the popup menu. The font list is
> saved in the config file, and the configuration format is backward
> compatible. Also I found (using memprof) and fixed some minor memory
> leaks.
> 
> This is my first contribution to Gnome and hope it's not the last. I
> learned lots by making this patch, and it was fun. I hope you find it
> useful.
> 

Excellent - Thats just what I've wanted for ages. Now I can get rid
of RXVT and all those panel icons to launch terminals with different
font strings. 

Thanks

Kevin Pearcey