Interface UndoHandler

    • Method Detail

      • setUndo

        void setUndo​(Undo value)
        Sets the undo manager to use, can be null if no undo-support wanted.
        Parameters:
        value - the undo manager to use
      • getUndo

        Undo getUndo()
        Returns the current undo manager, can be null.
        Returns:
        the undo manager, if any
      • isUndoSupported

        boolean isUndoSupported()
        Returns whether an Undo manager is currently available.
        Returns:
        true if an undo manager is set