Interface UndoActions

    • Property Detail

      • undoAvailable

        default Val<java.lang.Boolean> undoAvailableProperty
      • redoAvailable

        default Val<java.lang.Boolean> redoAvailableProperty
    • Method Detail

      • getUndoManager

        UndoManager getUndoManager()
        Undo manager of this text area.
      • setUndoManager

        void setUndoManager​(UndoManager undoManager)
        Closes the current area's undo manager before setting it to the given one. Note: to create your own UndoManager, see the convenient factory methods in UndoUtils.
      • undo

        default void undo()
      • redo

        default void redo()
      • isUndoAvailable

        default boolean isUndoAvailable()
      • undoAvailableProperty

        default Val<java.lang.Boolean> undoAvailableProperty()
      • isRedoAvailable

        default boolean isRedoAvailable()
      • redoAvailableProperty

        default Val<java.lang.Boolean> redoAvailableProperty()