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