> > I submitted a quick fix (r19199). It can be reverted if JMarc has some > > better idea. > > 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. Bo
