Add a context menu option and keyboard shortcut to reload files #647
Description
Is your feature request related to a problem? Please describe.
When a file on disk is changed, this is detected on windows but not on the other platforms. This detection also sometimes fails.
Describe the solution you'd like
It would be nice to have a context menu and/or a keyboard shortcut (like Ctrl+R or browsers) to reload the currently selected file from disk.
Describe alternatives you've considered