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

Bug 296

Summary: Initial size of variable panel is too small
Product: UPPAAL Reporter: Gerd Behrmann <behrmann>
Component: GUIAssignee: Gerd Behrmann <behrmann>
Status: RESOLVED FIXED    
Severity: minor CC: saulius
Priority: P2    
Version: 3.6 Alpha 5   
Hardware: All   
OS: All   
Architecture:

Description Gerd Behrmann 2006-03-19 10:39:42 CET 
When dragging out the variable panel in the simulator, the window is too small.
Comment 1 Gerd Behrmann 2006-03-19 18:22:45 CET 
Fixed on the trunk from rev. 1671.