eat errors related to cursors

pull/1/head
ansuz 7 years ago
parent 50b6a23067
commit c0e49211c4

@ -86,6 +86,7 @@ define([
}; };
var fixSelection = cursor.fixSelection = function (sel, range) { var fixSelection = cursor.fixSelection = function (sel, range) {
try {
if (Tree.contains(Range.start.el, inner) && Tree.contains(Range.end.el, inner)) { if (Tree.contains(Range.start.el, inner) && Tree.contains(Range.end.el, inner)) {
var order = Tree.orderOfNodes(Range.start.el, Range.end.el, inner); var order = Tree.orderOfNodes(Range.start.el, Range.end.el, inner);
var backward; var backward;
@ -118,6 +119,7 @@ define([
console.error(errText); console.error(errText);
return errText; return errText;
} }
} catch (e) { console.error(e); }
}; };
cursor.pushDelta = function (oldVal, newVal) { cursor.pushDelta = function (oldVal, newVal) {

Loading…
Cancel
Save