refreshAsync method
@@@ Closes and reopens (the original Refresh preserves the position near the cursor; this @@@ backend has no cursor, so this is an honest reopen)
Implementation
Future<void> refreshAsync() async {
close();
await openAsync();
}