Always warn when reloading failed and we were not automatically reloading. 
Always warn when reloading failed and we were not automatically reloading. 

Don't disable Revert menu item, as the file might also be changed on disk. 
WoLpH/skim,ycaihua/skim-app,WoLpH/skim,WoLpH/skim,WoLpH/skim,ycaihua/skim-app,ycaihua/skim-app,WoLpH/skim,ycaihua/skim-app,ycaihua/skim-app