Re: oops - gnome-terminal patch v2 :)

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 ;)


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