Re: [Texmacs-dev] Patches: copy/paste and selection handling.

[Daniel Bump]

On this thread, the single thing that seems to me to 
be most important to change is that highlighted
text is persistent. You can select (red highlight)
some text and scroll away until the marked
text is not even on the screen. Then if you hit
backspace, it is deleted off-stage. So it is
possible to accidentally delete something.
Selection can also happen unintentially just
moving the mouse around, especially with a
trackpad that sometimes can generate spurious
mouseclicks. This would be less annoying if
it were easier to unselect, but in fact my
usual way of removing an undesirable selection
is to hit the space bar (then delete the space).
And since selected text can be accidentally
deleted, it is important to do this.

> The second patch makes selections generally non-persistent (i.e. text is 
> unselected as soon as cursor is moved). This is the standard set by 
> Windows and adopted by freedesktop.org (i.e. KDE, Gnome, etc.). If 
> anybody has a good reason for supporting persistent selections, please 
> bring it forward.

I haven't tried the patches but if I understand
correctly this would address the above-mentioned
problem, which I think is serious.

Daniel Bump