HistoryOptions class
Tuning knobs for History.
Constructors
- HistoryOptions({int maxStack = 100, Duration mergeInterval = const Duration(milliseconds: 500)})
-
Creates history options.
const
Properties
- hashCode → int
-
The hash code for this object.
no setterinherited
- maxStack → int
-
Maximum number of undo entries kept; the oldest entry is evicted when
the stack grows past this size.
final
- mergeInterval → Duration
-
Local edits recorded within this interval of the current undo group's
first edit coalesce into that group, so rapid typing undoes as one
step.
final
- runtimeType → Type
-
A representation of the runtime type of the object.
no setterinherited
Methods
-
noSuchMethod(
Invocation invocation) → dynamic -
Invoked when a nonexistent method or property is accessed.
inherited
-
toString(
) → String -
A string representation of this object.
inherited
Operators
-
operator ==(
Object other) → bool -
The equality operator.
inherited