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. -- Thomas E. Dickey http://invisible-island.net ftp://invisible-island.net
Attachment:
pgpyGGngSSeXx.pgp
Description: PGP signature