File parameters: don’t reload automatically when the file changes on
disk, instead warn the user on the viewer and let him press the reload
button, to avoid crashs.
The notification system can be deactivated in the preferences