Re: oops - gnome-terminal patch v2 :)

[Ross Golder <rossigee bigfoot com>]

Miguel de Icaza wrote:
> 
> > This adds a rightclick->set titlebar option to gnome-terminal.  Handy for
> > having dozens of terminals open...
> 
> Wouldnt it be easier to just have a shell script that would set the
> title bar?  You could call it "terminal-control".
> 
> termina-control --title="My Title"
> 

For those of us who are technically-minded this makes sense. However,
this may not be so obvious to less qualified instances of User, so a
'right-hand click' option would make it easier for them to take
advantage of this functionality.

Even if you were to bundle a simple /usr/bin/terminal-control shell
script, it would save us technically-minded people a little time and
research ;)

--
Ross