Ejemplos de MapEditor.undo en Java

Ejemplo n.º 1

Archivo: MapEditorActionBarContributor.java Proyecto: PIPProject/ImageWorkshop

 public void propertyChange(PropertyChangeEvent event) {
   if (activeEditor == null) {
     return;
   }
   if (event.getSource() == undoAction) {
     if (event.getProperty().equals("chosen")) {
       activeEditor.undo();
     }
   } else if (event.getSource() == redoAction) {
     if (event.getProperty().equals("chosen")) {
       activeEditor.redo();
     }
   }
 }