/**
* Send a document init event to all listeners with a different source and reset the <code>changed
* </code> flag.
*/
public void fireDocumentInit(BaseDocument source) {
has_changed = false;
for (DocumentChangeListener dcl : dc_listeners)
dcl.documentInit(new DocumentChangeEvent(source));
}
/** Send a document init event to all listeners and reset the <code>changed</code> flag. */
public void fireDocumentInit() {
has_changed = false;
for (DocumentChangeListener dcl : dc_listeners) dcl.documentInit(new DocumentChangeEvent(this));
}