diff --git a/lib/ace/editor.js b/lib/ace/editor.js index 51aa5015..8c2472eb 100644 --- a/lib/ace/editor.js +++ b/lib/ace/editor.js @@ -981,6 +981,8 @@ var Editor = function(renderer, session) { this.renderer.animateScrolling(function() { renderer.scrollBy(0, rows * config.lineHeight); + if (select != null) + renderer.scrollCursorIntoView(); }, this); };