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);
}