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
