In fact, this was exactly the point that started me off in changing the
selection handling as well. The core idea behind my changes is that the
selection should *always* be at the position of the cursor. In the
patched version, there is no way to move the cursor without either
unselecting or changing the size of the selection. Also, when you select
using the mouse, the cursor is always placed at the last position where
the mouse is released.
B.t.w.: It still is possible to scroll away using the mouse so that both
cursor and selection are off screen. This is standard behavior and is
fairly safe as you typically would not press delete without seeing the
cursor anyway.
Daniel Bump wrote:
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
_______________________________________________
Texmacs-dev mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/texmacs-dev
_______________________________________________
Texmacs-dev mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/texmacs-dev
