[issue1721083] Add File - Reload

[Terry J. Reedy]

Terry J. Reedy added the comment:

Notepad++ has 'Reload from disk' right after New and Open, and I like that explicit wording. 'Revert' is a bit esoteric for beginners. (And I do not see that on the menu now.)

Kurt's argument applies to Notepad++ also -- one could close the file and reload from the recent files list, but there it is. There is a subtle psychological factor: reloading may mean 'I messed up and want to start over'. In that state, a simple direct reload is tension defuser.

Quite separately, Notepad++ check file modification times when it gets the focus and if the disk copy is newer, it pops up a box saying so and asking if one wants to reload. (Or perhaps it check for OS notifications at this time.) This is the feature directed at catching reverts and merges.

----------

_______________________________________
Python tracker <report at bugs.python.org>
<http://bugs.python.org/issue1721083>
_______________________________________