-
Marijn Haverbeke authored
So that we don't leave a stray selection that'll be reset to some nonsense position by the DOM changes. Closes #4625
Marijn Haverbeke authoredSo that we don't leave a stray selection that'll be reset to some nonsense position by the DOM changes. Closes #4625