Re: [PATCH] gnome-terminal shortcut fonts menu



On Wed, Jul 26, 2000 at 02:54:29AM +0100, Paul Warren wrote:
> > > This patch adds the xterm-like feature of putting your favorite fonts on
> > > the gnome-terminal menu.  It adds a "fonts" tab to the preferences
> > > dialog allowing you to edit these fonts.
> > > 
> > > I've heard this feature requested on gnome-list a few times, and is also
> > > wishlist item #3527.

I've now fixed this patch and made it available at: 

http://www.ex-parrot.com/~pdw/gnome-terminal-fast-font.diff

I've also submitted the patch to the bug tracker.

cheers,

Paul




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