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

Bug 402

Summary: Unable to open multiple systems
Product: UPPAAL Reporter: Lars T. Mikkelsen <ltm>
Component: GUIAssignee: Gerd Behrmann <behrmann>
Status: ASSIGNED ---    
Severity: enhancement    
Priority: P2    
Version: 4.0.5   
Hardware: Macintosh   
OS: Mac OS   
Architecture:

Description Lars T. Mikkelsen 2007-03-12 09:48:54 CET
On Mac OS X it's only possible to start one instance of UPPAAL. At the same time UPPAAL only allows one project/system to be opened - opening a new system closes the currently opened system. This makes it impossible to have multiple systems opened at any given time - a real annoyance when, for instance, comparing two different systems.

A solution could either be to allow multiple windows to be opened with different systems, or to allow multiple systems in the Navigation Tree of the Editor view.
Comment 1 Gerd Behrmann 2007-03-14 10:47:20 CET
This has been a planned feature for ages and was relatively high on my personal wish list.