public static class UndoManager.Options
extends com.google.gwt.core.client.JavaScriptObject
Modifier and Type | Method and Description |
---|---|
static UndoManager.Options |
create() |
static UndoManager.Options |
create(int maxOperations)
Create a new options object
|
void |
setMaxOperations(int maxOperations)
Set the maxOperations parameter.
|
public static UndoManager.Options create()
public static UndoManager.Options create(int maxOperations)
maxOperations
- - The maximum number of operations the UndoManager can perform. If a number less than or equal to zero is
provided the number of operations is unlimited. The default value is 10.public final void setMaxOperations(int maxOperations)
maxOperations
- - The maximum number of operations the UndoManager can perform. If a number less than or equal to zero is
provided the number of operations is unlimited. The default value is 10.