Add revert (revert file to the one on the disk) to file menu. Currently you do it by choosing the same file from open recent menu. Details TBD.
Add revert (revert file to the one on the disk) to file menu. Currently you do it by choosing the same file from open recent menu. Details TBD.