copyWith method

UndoManagerOptions copyWith({
  1. Option<BigInt>? captureTimeoutMillis,
  2. Option<List<Origin>>? trackedOrigins,
  3. Option<bool>? captureTransaction,
})

Returns a new instance by overriding the values passed as arguments

Implementation

UndoManagerOptions copyWith({
  Option<BigInt /*U64*/ >? captureTimeoutMillis,
  Option<List<Origin>>? trackedOrigins,
  Option<bool>? captureTransaction,
}) =>
    UndoManagerOptions(
        captureTimeoutMillis: captureTimeoutMillis != null
            ? captureTimeoutMillis.value
            : this.captureTimeoutMillis,
        trackedOrigins: trackedOrigins != null
            ? trackedOrigins.value
            : this.trackedOrigins,
        captureTransaction: captureTransaction != null
            ? captureTransaction.value
            : this.captureTransaction);