const UndoManagerOptions({ this.captureTimeoutMillis, this.trackedOrigins, this.captureTransaction, });