Re: gnome terminal: Things I want

["Ben FrantzDale" <frantb rpi edu>]

I havn't tried it recently (I'm not in front of it at the moment, so I can't
check)

I'm glad it's fixed :-)

--Ben
----- Original Message -----
From: Dan Hensley <dan.hensley@att.net>
To: Ben FrantzDale <frantb@rpi.edu>
Cc: <gnome-list@gnome.org>
Sent: Wednesday, October 06, 1999 5:50 PM
Subject: Re: gnome terminal: Things I want


> Ben FrantzDale wrote:
>
> > ----- Original Message -----
> > From: Miguel de Icaza <miguel@nuclecu.unam.mx>
> > To: Paul E. Johnson <pauljohn@ukans.edu>
> > Cc: <gnome-list@gnome.org>
> > Sent: Wednesday, October 06, 1999 9:37 AM
> > Subject: Re: gnome terminal: Things I want
> >
> > >
> > > > 1. Instead of having one picture background set all the time, can
you
> > > > make it pick randomly from a subirectory?  I'm looking at the output
> > > > from "gnome-terminal --help" and there does not seem to be a command
> > > > line argument for the background image. Too bad.
> > >
> > > This seems simple to implement.
> > >
> > > > 2. Can the background image be made to scale, rather than tile?
> > > >
> > > > If gnome-terminal could do these things, then I would not have to
keep
> > > > fussing over Eterm and the many complicated library issues that come
up
> > > > when using it.
> > >
> > > Simple to do too.  Extremely simple actually.
> > >
> > > But we will have to wait for the next batch of changes.
> > >
> >
> > Last I checked transparent gnome-terminals didn't like tiling
backgrounds
> > (it only showed the top left tile). Once this is fixed, I too expect to
> > switch from Eterm.
> >
>
> What version of gnome-core are you using?  I thought this had been fixed a
> while ago (as of 1.0.9, maybe?).
>
> Dan
>