This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

Bug 592

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

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.