Right now, it's possible for us to miss directory changes (see #178). While it's not that common, it might be worth adding pull-to-refresh to make it possible for users to recover if something is missed. We can always remove it in the future when we've fixed the issues with RecursiveDirectoryMonitor.
Done in e03000243ccc0e1a7132a70ed0d78e9942e476c0. We may wish to follow up with a change which only enables this functionality when the directory monitoring fails.
Right now, it's possible for us to miss directory changes (see #178). While it's not that common, it might be worth adding pull-to-refresh to make it possible for users to recover if something is missed. We can always remove it in the future when we've fixed the issues with
RecursiveDirectoryMonitor
.