/**
* Send a document changed event with a different source and set the <code>changed</code> flag.
*/
public void fireDocumentChanged(BaseDocument source) {
has_changed = true;
for (DocumentChangeListener dcl : dc_listeners)
dcl.documentChanged(new DocumentChangeEvent(source));
}
/** Send a document changed event and set the <code>changed</code> flag. */
public void fireDocumentChanged() {
has_changed = true;
for (DocumentChangeListener dcl : dc_listeners)
dcl.documentChanged(new DocumentChangeEvent(this));
}