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

Bug 255

Summary: Shortcut key for syntax check is broken
Product: UPPAAL Reporter: Gerd Behrmann <behrmann>
Component: GUIAssignee: Gerd Behrmann <behrmann>
Status: RESOLVED FIXED    
Severity: normal    
Priority: P1    
Version: 3.6 Alpha 4   
Hardware: Macintosh   
OS: Mac OS   
Architecture:

Description Gerd Behrmann 2006-02-01 11:34:19 CET 
The shortcut key for activating the syntax check does not have any effect on Mac
OS X.
Comment 1 Gerd Behrmann 2006-02-05 20:14:46 CET 
Either swixml or Swing has a problem with command+colon. The shortcut key was
changed to command+E on the trunk.