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

Bug 126 - Bounding box in exported EPS file is wrong
Summary: Bounding box in exported EPS file is wrong
Status: RESOLVED FIXED
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: GUI (show other bugs)
Version: 3.4.7
Hardware: All All
: P2 normal
Assignee: Gerd Behrmann
URL:
Depends on:
Blocks:
 
Reported: 2005-02-16 18:52 CET by Gerd Behrmann
Modified: 2005-06-29 21:27 CEST (History)
0 users

See Also:
Architecture:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
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.