Bug#259828: tabs mangled to spaces when copying from xterm
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
Reply to: