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

Bug 592 - command+q not quitting
Summary: command+q not quitting
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: GUI (show other bugs)
Version: 4.1.19
Hardware: Macintosh Mac OS
: P5 minor
Assignee: Peter Gjøl Jensen
Depends on:
Reported: 2015-03-26 10:58 CET by Jesper Vandborg
Modified: 2015-05-15 13:22 CEST (History)
1 user (show)

See Also:


Note You need to log in before you can comment on or make changes to this bug.
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.