Bug 592

Summary: command+q not quitting
Product: UPPAAL Reporter: Jesper Vandborg <jesper>
Component: GUIAssignee: Peter Gjøl Jensen <pgj>
Status: ASSIGNED ---    
Severity: minor CC: adavid
Priority: P5    
Version: 4.1.19   
Hardware: Macintosh   
OS: Mac OS   

Description Jesper Vandborg 2015-03-26 10:58:08 CET
Pressing command+q doesn't quit UPPAAL.
And neither does going to Uppaal -> Quit Main

You can quit the program by just using the "red x", so it is not a severe bug, but breaks with common behaviour in OS X Applications.