On Fri, Jul 16, 2004 at 09:18:14PM -0400, Lee Revell wrote: > > > 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. > > > > It's more complicated than that. xterm stores tabs expanded, and uses > > that in repainting (iirc, essentially the proposed patch set a bit at > > the beginning of the tab, so "all" that was left was to make the selection > > mechanism work). > > Ah, ok. Well, someone will fix this eventually. Maybe I will make a > feature request for gnome terminal. Thanks for the info. no problem (I may, on review of the patch I have, decide it's simpler to finish off than I would be thinking late on a Friday...) -- Thomas E. Dickey http://invisible-island.net ftp://invisible-island.net
Attachment:
pgpkHi_ldz6BT.pgp
Description: PGP signature