Graphviz Issue Tracker
Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0002337graphvizOutput Generationpublic2013-08-25 08:022013-09-04 16:34
Assigned Toellson 
Platformx86_64OSOS XOS Version10.8.4
Summary0002337: Graph padding rectangle too big
DescriptionWhen the graph margin > 0, it's apparent that the padding rectangle isn't being computed correctly. I am supposing that its width and height are being rounded prematurely.

The attached test graph has one node in a 200-dpi graph with margin 0.4 and padding at its default of 0.0555. We would therefore expect the graph to have a margin of 0.4*200=80 pixels and padding of 0.0555*200=11.1 pixels. If we inspect the generated PNG, we find the top and left margins are indeed 80px but the bottom and right margins are only 77px. Measuring from the edge of the white rectangle to the middle of the pen stroke drawing the node's outline, the top and left padding are 11px, but the bottom and right padding are 14px.
Steps To Reproducedot -Tpng margin-dpi.gv > margin-dpi.gv.png
TagsNo tags attached.
FIX-COMMENTfixed (dup of 0002343)
Attached Files? file icon margin-dpi.gv [^] (55 bytes) 2013-08-25 08:02
png file icon margin-dpi.gv.png [^] (5,736 bytes) 2013-08-25 08:02

- Relationships

-  Notes
User avatar (0000482)
ellson (administrator)
2013-09-04 14:40

Fixed (dup of 0002343)

- Issue History
Date Modified Username Field Change
2013-08-25 08:02 ryandesign New Issue
2013-08-25 08:02 ryandesign File Added: margin-dpi.gv
2013-08-25 08:02 ryandesign File Added: margin-dpi.gv.png
2013-09-04 14:40 ellson Note Added: 0000482
2013-09-04 16:34 ellson FIX-COMMENT => fixed (dup of 0002343)
2013-09-04 16:34 ellson Status new => closed
2013-09-04 16:34 ellson Assigned To => ellson
2013-09-04 16:34 ellson Resolution open => fixed

MantisBT 1.2.5[^]
Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker