Number: 2133
Title: HTML labels should accept floating-point values for point-based lengths
Submitter: Yuri Khan
Date: Thu Feb 10 08:35:55 2011
Subsys: Other
Version: 2.26.3
System: *-*-
Severity: minor
The HTML labels schema has several attributes that are interpreted as lengths expressed in points (td/@border, table/@cellborder, table/@cellpadding, table/@cellspacing, table/@height, td/@height, font/@point-size, table/@width, td/@width). All of these accept integer values only.

When printing out a graph using PostScript, a whole point for node borders is way too thick. It should be possible to specify e.g. 0.25 and have reasonably thin lines.

graph {
	test_node [shape = none, label = <<table border="0" cellspacing="0" cellborder="0.25">
		<tr><td align="center">ClassName</td></tr>
		<tr><td>-someAttribute: SomeType</td></tr>
Output file:
Expected: The class borders and compartment separators are drawn in 0.25pt lines.

Observed: No borders are drawn.
Workaround: Specify 1 point width, then feed the resulting .ps file through sed 's/^1 setlinewidth/0.25 setlinewidth/g'. However, this will replace all 1pt lines with 0.25pt.
Owner: *
Status: Request