On Fri, 11 Nov 2022 21:40:40 GMT, Sergey Bylokhov <s...@openjdk.org> wrote:
>> We tried to do this, it leads to an endless repetition of the selected line >> until it freezes. > > Probably because of the endless notifications loop? implementation of > addSelectionInterval looks similar to setSelectionInterval. In some cases the > addSelectionInterval just call setSelectionInterval. It looks like it is. Please formulate the question differently. ------------- PR: https://git.openjdk.org/jdk/pull/8578
