When an unsaved file is compiled it will be saved now in the front end
too. (This behaviour can be changed using the compileUnsavedSave
setting)

Improved tooltips.
When closing files which reside in /tmp the user will be asked for
confirmation.