- New feature: If the user closes the application and there are unsaved changes in the current problem, the user is now asked if she wants to save the problem.
- Corrected Bug: The solving time was not displayed in case of the "Auto Check"-option was selected. This has been fixed.
