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

Bug 153

Summary: Select field of a transition is not exported to postscript
Product: UPPAAL Reporter: Martijn Hendriks <martijnh>
Component: GUIAssignee: Gerd Behrmann <behrmann>
Severity: normal CC: martijnh
Priority: P2    
Version: 3.5.6   
Hardware: All   
OS: All   

Description Martijn Hendriks 2005-05-17 13:48:00 CEST
The select fields of transitions are not visible in the eps picture after saving
a template as postscript.
Comment 1 Mads Schaarup Andersen 2005-05-17 18:15:34 CEST
Bug confirmed. Reassigning.
Comment 2 Gerd Behrmann 2005-05-17 18:19:17 CEST
This should be trivial to fix - fix will appear in 3.5.7.
Comment 3 Gerd Behrmann 2005-06-03 14:13:47 CEST
A fix has been checked in.