rebased the branch, moved the moveText() from Document to EditSession, and removed the 'move' change event, which is no longer needed given the fixes in UndoManager.
This commit is contained in:
parent
471188c669
commit
44846b4983
5 changed files with 44 additions and 71 deletions
|
|
@ -271,9 +271,6 @@ var Editor =function(renderer, session) {
|
|||
|
||||
this.onDocumentChange = function(e) {
|
||||
var delta = e.data;
|
||||
if (delta.isMeta)
|
||||
return;
|
||||
|
||||
var range = delta.range;
|
||||
|
||||
this.bgTokenizer.start(range.start.row);
|
||||
|
|
@ -769,7 +766,7 @@ var Editor =function(renderer, session) {
|
|||
if (this.$readOnly)
|
||||
return null;
|
||||
|
||||
return this.session.doc.move(range, toPosition);
|
||||
return this.session.moveText(range, toPosition);
|
||||
};
|
||||
|
||||
this.copyLinesUp = function() {
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue