better handling of infinity
Add a « Close Project » menu, and warn about missing exitApp() function