"Bo Peng" <[EMAIL PROTECTED]> writes: >> Here is the fix I would propose. It ensures that the cursor is set >> through BufferView::mouseSetCursor, so that the selection is always >> tracked correctly. The patch is a little longer because I used the >> occasion to slightly cleanup the code (I do not think the two-parts >> handling of mouse2 is really useful). > > Please commit to trunk so that it can be thoroughly tested.
Did you manage to test it? JMarc
