1684 |
*/ |
*/ |
1685 |
public boolean addEdit(UndoableEdit edit) |
public boolean addEdit(UndoableEdit edit) |
1686 |
{ |
{ |
1687 |
if (edit instanceof ElementChange) |
if (edit instanceof DocumentEvent.ElementChange) |
1688 |
{ |
{ |
1689 |
ElementChange elEdit = (ElementChange) edit; |
DocumentEvent.ElementChange elEdit = |
1690 |
|
(DocumentEvent.ElementChange) edit; |
1691 |
changes.put(elEdit.getElement(), elEdit); |
changes.put(elEdit.getElement(), elEdit); |
1692 |
} |
} |
1693 |
return super.addEdit(edit); |
return super.addEdit(edit); |
1741 |
* @return the changes for <code>elem</code> or <code>null</code> if |
* @return the changes for <code>elem</code> or <code>null</code> if |
1742 |
* <code>elem</code> has not been changed |
* <code>elem</code> has not been changed |
1743 |
*/ |
*/ |
1744 |
public ElementChange getChange(Element elem) |
public DocumentEvent.ElementChange getChange(Element elem) |
1745 |
{ |
{ |
1746 |
return (ElementChange) changes.get(elem); |
return (DocumentEvent.ElementChange) changes.get(elem); |
1747 |
} |
} |
1748 |
} |
} |
1749 |
|
|