undoManagerRedo method

Result<bool, Error> undoManagerRedo({
  1. required UndoManagerRef ref,
})

Implementation

Result<bool, Error> undoManagerRedo({required UndoManagerRef ref}) {
  final results = _undoManagerRedo([ref.toWasm()]);
  final result = results[0];
  return Result.fromJson(
    result,
    (ok) => ok! as bool,
    (error) => error is String ? error : (error! as ParsedString).value,
  );
}