On Fri, 2004-07-16 at 20:08, Thomas Dickey wrote: > On Fri, Jul 16, 2004 at 07:52:06PM -0400, Lee Revell wrote: > > > Hmm, interesting, so it is fixable. I wonder if any other terminals do > > this already. It would definitely be a nice usability enhancement. > > Actually, I've read that gnome-terminal or konsole (don't recall which) does > allow selection of tabs, but that the implementation was poor (or in > my terms, the other 90% of the work wasn't done). > > The complaints I read stated that it was (a) hard to get the mouse to click > on the right place, (b) that selection across the right-margin didn't work > properly.
Just tried konsole and gnome terminal. Neither of them currently seem to work this way, at least the versions in unstable don't. Even if konsole supported this I could not use it, it took 10 seconds to start. It seems like the mouse thing would be easy, if a click starts inside a tab, that tab is part of the selection region. Same policy as clicking on a space, you just treat tab as a big space. Then again I have never hacked a terminal program so I can't really say. Lee
