Exemplos de GUIMultiModelHandler.hasModified em Java

Exemplo n.º 1

Arquivo: GUITextModelEditor.java Projeto: adoGT/prismFDCTMC

 /**
  * 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);
 }