ExternalTools: Maintain scroll position on doc reload
When document is reloaded we loose our existing scroll position and the cursor is recentered. Try to avoid that.
Please register or sign in to comment
When document is reloaded we loose our existing scroll position and the cursor is recentered. Try to avoid that.