This still happens in Ubuntu 18.04. Also sometimes it occurs when you paste something from clipboard. And if the page doesn't scroll when you undo/redo it's flickering anyway. Looks like it tries to keep current line at some position.
This still happens in Ubuntu 18.04.
Also sometimes it occurs when you paste something from clipboard.
And if the page doesn't scroll when you undo/redo it's flickering anyway.
Looks like it tries to keep current line at some position.