Skip to content

ExternalTools: Maintain scroll position on doc reload

Waqar Ahmed requested to merge work/maintain-scroll into master

When document is reloaded we loose our existing scroll position and the cursor is recentered. Try to avoid that so that it looks more smooth and less jumpy.

Merge request reports