Re: terminal plugin

[Dave Camp <dave ximian com>]

On Mon, 2002-06-24 at 07:58, Jeroen Zwartepoorte wrote:
> Hi Dave,
> 
> I wrote a simple terminal plugin based on the zvt widget. Some stuff
> like the font is not yet configurable. I need some help on how to best
> do that (integration with anjuta2 etc).

I've always been of the opinion that a terminal plugin should grab
settings from gnome-terminal.  Presumably gnome-terminal is already set
up the way the user likes it..

> OK to commit?

JP or naba will have to chime in on this one.

-dave