public interface UndoActions
TextEditingArea
.Type | Property and Description |
---|---|
default Val<java.lang.Boolean> |
redoAvailable |
default Val<java.lang.Boolean> |
undoAvailable |
Modifier and Type | Method and Description |
---|---|
UndoManager |
getUndoManager()
Undo manager of this text area.
|
default boolean |
isRedoAvailable() |
default boolean |
isUndoAvailable() |
default void |
redo() |
default Val<java.lang.Boolean> |
redoAvailableProperty() |
void |
setUndoManager(UndoManager undoManager)
Closes the current area's undo manager before setting it to the given one.
|
default void |
undo() |
default Val<java.lang.Boolean> |
undoAvailableProperty() |
default Val<java.lang.Boolean> undoAvailableProperty
default Val<java.lang.Boolean> redoAvailableProperty
UndoManager getUndoManager()
void setUndoManager(UndoManager undoManager)
UndoManager
, see the convenient factory methods in UndoUtils
.default void undo()
default void redo()
default boolean isUndoAvailable()
default Val<java.lang.Boolean> undoAvailableProperty()
default boolean isRedoAvailable()
default Val<java.lang.Boolean> redoAvailableProperty()