remove some of redundant scrollCursorIntoView calls
(cursor was scrolling into view before changing)
This commit is contained in:
parent
53b2caaade
commit
577ee94011
2 changed files with 0 additions and 4 deletions
|
|
@ -348,8 +348,6 @@ var Editor =function(renderer, session) {
|
||||||
session.$selectionMarker = session.addMarker(range, "ace_selection", style);
|
session.$selectionMarker = session.addMarker(range, "ace_selection", style);
|
||||||
}
|
}
|
||||||
|
|
||||||
this.onCursorChange(e);
|
|
||||||
|
|
||||||
if (this.$highlightSelectedWord)
|
if (this.$highlightSelectedWord)
|
||||||
this.session.getMode().highlightSelection(this);
|
this.session.getMode().highlightSelection(this);
|
||||||
};
|
};
|
||||||
|
|
|
||||||
|
|
@ -123,8 +123,6 @@ var MouseHandler = function(editor) {
|
||||||
onStartSelect(pos);
|
onStartSelect(pos);
|
||||||
}
|
}
|
||||||
|
|
||||||
editor.renderer.scrollCursorIntoView();
|
|
||||||
|
|
||||||
var mousePageX, mousePageY;
|
var mousePageX, mousePageY;
|
||||||
var overwrite = editor.getOverwrite();
|
var overwrite = editor.getOverwrite();
|
||||||
var mousedownTime = (new Date()).getTime();
|
var mousedownTime = (new Date()).getTime();
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue