File menu: Open source file #250
Description
When there is a known source file for the file (ex Github) show file menu option to open the file in the source explorer (ex: Github).
{{ message }}
When there is a known source file for the file (ex Github) show file menu option to open the file in the source explorer (ex: Github).