Class MagellanUndoManager

  • All Implemented Interfaces:
    java.io.Serializable, java.util.EventListener, javax.swing.event.UndoableEditListener, javax.swing.undo.UndoableEdit

    public class MagellanUndoManager
    extends javax.swing.undo.UndoManager
    TODO: undo/redo seems broken
    Author:
    Andreas
    See Also:
    Serialized Form
    • Field Summary

      Fields 
      Modifier and Type Field Description
      static java.lang.String REDO
      REDO property name
      static java.lang.String UNDO
      UNDO Property name
      • Fields inherited from class javax.swing.undo.CompoundEdit

        edits
      • Fields inherited from class javax.swing.undo.AbstractUndoableEdit

        RedoName, UndoName
    • Constructor Summary

      Constructors 
      Constructor Description
      MagellanUndoManager()
      Creates new MagellanUndoManager
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      boolean addEdit​(javax.swing.undo.UndoableEdit e)
      Calls super.addEdit() and fires property change for menu actions.
      void addPropertyChangeListener​(java.beans.PropertyChangeListener l)
      Adds a listener.
      void addPropertyChangeListener​(java.lang.String property, java.beans.PropertyChangeListener l)
      Adds a listener.
      void discardAllEdits()
      Calls super.discardAllEdits() and fires property change for menu actions.
      void redo()
      Calls super.redo() and fires property change for menu actions.
      void removePropertyChangeListener​(java.beans.PropertyChangeListener l)
      Removes a listener.
      void removePropertyChangeListener​(java.lang.String property, java.beans.PropertyChangeListener l)
      Removes a listener.
      void undo()
      Calls super.undo() and fires property change for menu actions.
      • Methods inherited from class javax.swing.undo.UndoManager

        canRedo, canUndo, canUndoOrRedo, editToBeRedone, editToBeUndone, end, getLimit, getRedoPresentationName, getUndoOrRedoPresentationName, getUndoPresentationName, redoTo, setLimit, toString, trimEdits, trimForLimit, undoableEditHappened, undoOrRedo, undoTo
      • Methods inherited from class javax.swing.undo.CompoundEdit

        die, getPresentationName, isInProgress, isSignificant, lastEdit
      • Methods inherited from class javax.swing.undo.AbstractUndoableEdit

        replaceEdit
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
    • Constructor Detail

      • MagellanUndoManager

        public MagellanUndoManager()
        Creates new MagellanUndoManager
    • Method Detail

      • addPropertyChangeListener

        public void addPropertyChangeListener​(java.beans.PropertyChangeListener l)
        Adds a listener.
      • addPropertyChangeListener

        public void addPropertyChangeListener​(java.lang.String property,
                                              java.beans.PropertyChangeListener l)
        Adds a listener.
      • removePropertyChangeListener

        public void removePropertyChangeListener​(java.beans.PropertyChangeListener l)
        Removes a listener.
      • removePropertyChangeListener

        public void removePropertyChangeListener​(java.lang.String property,
                                                 java.beans.PropertyChangeListener l)
        Removes a listener.
      • undo

        public void undo()
        Calls super.undo() and fires property change for menu actions.
        Specified by:
        undo in interface javax.swing.undo.UndoableEdit
        Overrides:
        undo in class javax.swing.undo.UndoManager
        See Also:
        UndoManager.undo()
      • redo

        public void redo()
        Calls super.redo() and fires property change for menu actions.
        Specified by:
        redo in interface javax.swing.undo.UndoableEdit
        Overrides:
        redo in class javax.swing.undo.UndoManager
      • addEdit

        public boolean addEdit​(javax.swing.undo.UndoableEdit e)
        Calls super.addEdit() and fires property change for menu actions.
        Specified by:
        addEdit in interface javax.swing.undo.UndoableEdit
        Overrides:
        addEdit in class javax.swing.undo.UndoManager
        See Also:
        UndoManager.addEdit(javax.swing.undo.UndoableEdit)
      • discardAllEdits

        public void discardAllEdits()
        Calls super.discardAllEdits() and fires property change for menu actions.
        Overrides:
        discardAllEdits in class javax.swing.undo.UndoManager
        See Also:
        UndoManager.discardAllEdits()