ProjectManager: Better support for backup files.
If a backup file is more recent than the actual project file, the user is asked if she wants to load the backup. If an outdated backup is found, it can be deleted. Code has been cleaned up a bit.
Showing with 76 additions and 38 deletions