Re: oops - gnome-terminal patch v2 :)
- From: Justin Lee <justinl intelis com>
- To: "gnome-devel-list gnome org" <gnome-devel-list gnome org>
- Subject: Re: oops - gnome-terminal patch v2 :)
- Date: Mon, 02 Aug 1999 15:22:16 -0500
Ross Golder wrote:
> 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 ;)
Also, wouldn't the right click conflict with many WM's? I know E
already uses the right click on the title bar of windows although this
appears to be configurable...
Justin Lee - "To each his own won't lead you home and probably never
] [Thread Prev