557 |
int start = root.getElementIndex(changes.where); |
int start = root.getElementIndex(changes.where); |
558 |
int end = root.getElementIndex(changes.where+changes.length); |
int end = root.getElementIndex(changes.where+changes.length); |
559 |
|
|
560 |
Element[] removed = new Element[1]; |
if (!(start == 0 && end == 0)) |
561 |
removed[0] = root; |
{ |
562 |
Element[] added = new Element[end - start + 1]; |
Element[] removed = new Element[1]; |
563 |
for (int i = start; i <= end; i++) |
removed[0] = root; |
564 |
added[i - start] = root.getElement(i); |
Element[] added = new Element[end - start + 1]; |
565 |
|
for (int i = start; i <= end; i++) |
566 |
ElementEdit edit = new ElementEdit(root, root.getElementIndex(changes.where), removed, added); |
added[i - start] = root.getElement(i); |
567 |
event.addEdit(edit); |
|
568 |
|
ElementEdit edit = new ElementEdit( |
569 |
|
root, |
570 |
|
root.getElementIndex(changes.where), |
571 |
|
removed, added); |
572 |
|
event.addEdit(edit); |
573 |
|
} |
574 |
} |
} |
575 |
fireInsertUpdate(event); |
fireInsertUpdate(event); |
576 |
} |
} |
724 |
if (content instanceof GapContent) |
if (content instanceof GapContent) |
725 |
changes = (GapContent.UndoRemove) temp; |
changes = (GapContent.UndoRemove) temp; |
726 |
|
|
727 |
if (changes != null) |
if (changes != null && !(start == end)) |
728 |
{ |
{ |
729 |
// We need to add an ElementChange to our DocumentEvent |
// We need to add an ElementChange to our DocumentEvent |
730 |
ElementEdit edit = new ElementEdit (root, start, removed, added); |
ElementEdit edit = new ElementEdit (root, start, removed, added); |