scroll to selected match after context lines changed
MODIFY
lib/project/results-view.js
lib/project/results-view.js
@@ -503,8 +503,7 @@ class ResultsView {
}
contextLinesChanged() {
- this.setScrollTop(0);
- return etch.update(this);
+ etch.update(this).then(() => { this.scrollToSelectedMatch(); });
}
scrollToSelectedMatch() {

scroll to selected match after context lines changed