1684 |
*/ |
*/ |
1685 |
public boolean addEdit(UndoableEdit edit) |
public boolean addEdit(UndoableEdit edit) |
1686 |
{ |
{ |
1687 |
|
// XXX - Fully qualify ElementChange to work around gcj bug #2499. |
1688 |
if (edit instanceof DocumentEvent.ElementChange) |
if (edit instanceof DocumentEvent.ElementChange) |
1689 |
{ |
{ |
1690 |
DocumentEvent.ElementChange elEdit = |
DocumentEvent.ElementChange elEdit = |
1744 |
*/ |
*/ |
1745 |
public DocumentEvent.ElementChange getChange(Element elem) |
public DocumentEvent.ElementChange getChange(Element elem) |
1746 |
{ |
{ |
1747 |
|
// XXX - Fully qualify ElementChange to work around gcj bug #2499. |
1748 |
return (DocumentEvent.ElementChange) changes.get(elem); |
return (DocumentEvent.ElementChange) changes.get(elem); |
1749 |
} |
} |
1750 |
} |
} |