544 |
insertUpdate(event, attributes); |
insertUpdate(event, attributes); |
545 |
writeUnlock(); |
writeUnlock(); |
546 |
|
|
547 |
fireInsertUpdate(event); |
if (event.modified) |
548 |
|
fireInsertUpdate(event); |
549 |
if (undo != null) |
if (undo != null) |
550 |
fireUndoableEditUpdate(new UndoableEditEvent(this, undo)); |
fireUndoableEditUpdate(new UndoableEditEvent(this, undo)); |
551 |
} |
} |
1810 |
Hashtable changes; |
Hashtable changes; |
1811 |
|
|
1812 |
/** |
/** |
1813 |
|
* Indicates if this event has been modified or not. This is used to |
1814 |
|
* determine if this event is thrown. |
1815 |
|
*/ |
1816 |
|
boolean modified; |
1817 |
|
|
1818 |
|
/** |
1819 |
* Creates a new <code>DefaultDocumentEvent</code>. |
* Creates a new <code>DefaultDocumentEvent</code>. |
1820 |
* |
* |
1821 |
* @param offset the starting offset of the change |
* @param offset the starting offset of the change |
1829 |
this.length = length; |
this.length = length; |
1830 |
this.type = type; |
this.type = type; |
1831 |
changes = new Hashtable(); |
changes = new Hashtable(); |
1832 |
|
modified = false; |
1833 |
} |
} |
1834 |
|
|
1835 |
/** |
/** |
1844 |
// XXX - Fully qualify ElementChange to work around gcj bug #2499. |
// XXX - Fully qualify ElementChange to work around gcj bug #2499. |
1845 |
if (edit instanceof DocumentEvent.ElementChange) |
if (edit instanceof DocumentEvent.ElementChange) |
1846 |
{ |
{ |
1847 |
|
modified = true; |
1848 |
DocumentEvent.ElementChange elEdit = |
DocumentEvent.ElementChange elEdit = |
1849 |
(DocumentEvent.ElementChange) edit; |
(DocumentEvent.ElementChange) edit; |
1850 |
changes.put(elEdit.getElement(), elEdit); |
changes.put(elEdit.getElement(), elEdit); |