/** * Notifies the GUI that the document has been modified. * * @param event Event generated by the change in the document. */ public void removeUpdate(DocumentEvent event) { if (handler != null) handler.hasModified(true); }