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 <rep...@bugs.python.org>
<http://bugs.python.org/issue1721083>
_______________________________________
_______________________________________________
Python-bugs-list mailing list
Unsubscribe: 
http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com

Reply via email to