-
Christian Kamm authored
Updating the text cursors that the extra selections are based on can get quite slow if there are changes in a lot of positions - like when reindenting a file. Dropping some text cursors can increase performance significantly in these cases. Done-with: mae
c5148842