On Thu, 1 Oct 2026 10:02:51 GMT, Marius Hanl <[email protected]> wrote:
> I would suggest to incorporate the fix presented in this PR to at least make > the situation go away that a user double clicks on something and something > completely different gets selected. Right. The only problem is that the current fix is still incomplete (see the table above), and, in the 3rd case (`aaa |bbb`) the fix might require minor redesign to account for the caret bias. I would recommend adding these cases (and any others we could think of) to the test, and possibly create a follow up JBS ticket for the 3rd case if we could not solve it in this PR, since it feels like a minor quirk rather than a serious issue. ------------- PR Comment: https://git.openjdk.org/jfx/pull/2334#issuecomment-5936615996
