I encounter the “File Changed” pop-up recently that gives me the option to revert the file to it’s content in disk.
I was looking how to do the same operation (revert) from Jupyter UI and at first I was unable to find. Later I noticed that it is under the menu option “Reload from Disk”.
When the File
menu has “Reload from Disk” instead of “Revert to Disk”?