Skip to content
Commit 1bc65ced authored by Waqar Ahmed's avatar Waqar Ahmed
Browse files

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.
parent 0fe84f9a
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment