[BLUEJ-988] Can't do mouse-drag text selection starting to right of a bracket
The Java editor does bracket highlighting, so when you place the caret to the right of a bracket, it highlights the bracket and its corresponding paired bracket. But if you click and drag to make a selection, it seems that the highlighting operation is effectively cancelling the drag (I think because it swaps out the graphical node used for display). Not sure how best to fix this: we might want to only do the bracket highlighting if the mouse button is not held. This sounds like a kludge but might be easier than the alternative fixes.
Issue metadata
- Issue type: Bug
- Priority: Medium
- Fix versions: 4.1.0