Interface UndoHandlerWithQuickAccess

    • Method Detail

      • undo

        void undo()
        Performs an undo if possible.
      • redo

        void redo()
        Performs a redo if possible.
      • addUndoPoint

        void addUndoPoint​(String comment)
        Adds an undo point with the given comment.
        Parameters:
        comment - the comment for the undo point