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>
Severity: minor CC: saulius
Priority: P2    
Version: 3.6 Alpha 5   
Hardware: All   
OS: All   

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.