Re: Gnome terminal patch

"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. 


Kevin Pearcey

[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]