[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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: