Fixed the issue with 2+ external changes to a file resulting in the user being prompted twice for its reloading (closes #379).