Example #1
0
 /**
  * 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));
 }
Example #2
0
 /** 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));
 }