Class UndoRedoEvent

    • Constructor Detail

      • UndoRedoEvent

        public UndoRedoEvent​(java.lang.Object source,
                             UndoableOperation operation,
                             boolean undo)
        Constructor.
        Parameters:
        source - the source of this event
        operation - operation performed
        undo - undo performed? (re-do otherwise assumed)
    • Method Detail

      • isUndo

        public boolean isUndo()