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

Bug 126

Summary: Bounding box in exported EPS file is wrong
Product: UPPAAL Reporter: Gerd Behrmann <behrmann>
Component: GUIAssignee: Gerd Behrmann <behrmann>
Status: RESOLVED FIXED    
Severity: normal    
Priority: P2    
Version: 3.4.7   
Hardware: All   
OS: All   
Architecture:

Description Gerd Behrmann 2005-02-16 18:52:44 CET 
The bounding box of exported EPS files is not correct. The actual drawing is not
within the bounding box specified in the file header.
Comment 1 Gerd Behrmann 2005-02-16 19:26:47 CET 
A fix for 3.4 has been checked into CVS.