* Removed comment
This commit is contained in:
parent
8ed101a062
commit
dbbacf7fc3
1 changed files with 1 additions and 1 deletions
|
|
@ -1210,7 +1210,7 @@ var Editor = function(renderer, session) {
|
|||
if (range) {
|
||||
this.session.unfold(range);
|
||||
this.$blockScrolling += 1;
|
||||
this.selection.setSelectionRange(range); // this scrolls selection into view
|
||||
this.selection.setSelectionRange(range);
|
||||
this.$blockScrolling -= 1;
|
||||
|
||||
var cursor = this.getCursorPosition();
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue