Often when you open a file from a remote server, you need to see periodically whether the file has been updated. For local files, the application shows a handy yellow stripe notification at the top of the page. So it would be convenient to have quick option for manual reloading (File -> Revert). E.g. a button in the top pane + hot keys for a quick refresh.
Expected behaviour
Often when you open a file from a remote server, you need to see periodically whether the file has been updated. For local files, the application shows a handy yellow stripe notification at the top of the page. So it would be convenient to have quick option for manual reloading (File -> Revert). E.g. a button in the top pane + hot keys for a quick refresh.
Package version
1.20.1