> 2) I am fine with removing the current selection on mouse clicks, > except for one potential drawback: when pasting using middle click, > the cursor has not yet been positioned in a very precise manner. > This is important in TeXmacs contrary to emacs, because different > cursor position may be very (even infinitely) close graphically. > Anyway, I do not see any appropriate fix, so we probably have > to live with this drawback. > How about the following?: when the middle button is pressed, you show the cursor position in a special color, then if the mouse moves with the middle button still pressed, the position of the cursor changes to show the final paste position, and when the middle button is released, you paste.
And thanks for this important patch!! _______________________________________________ Texmacs-dev mailing list [email protected] http://lists.gnu.org/mailman/listinfo/texmacs-dev
