Number: 1518
Title: incorrect handling of penwidth attribute
Submitter: Stephan Hennig
Date: 2008-11-17
Subsys: dot
Version: 2.20.3
System: *-*-*
Severity: major
Problem:
While the argument to 'penwidth' is of type double according to documentation, dot seems to truncate penwidth to integer values, leading to uniform stroke width for a range of different values. The behaviour can be observed with different output formats (GIF, JPG, PNG, EPS, PS, PS2, PDF).
Input:
digraph {
  graph [ rankdir = LR ];
  A [ penwidth = 0.1, label = "0.1" ];
  B [ penwidth = 0.9, label = "0.9" ];
  C [ penwidth = 1.0, label = "1.0" ];
  D [ penwidth = 1.1, label = "1.1" ];
  E [ penwidth = 1.9, label = "1.9" ];
  F [ penwidth = 2.0, label = "2.0" ];
  G [ penwidth = 2.1, label = "2.1" ];
  H [ penwidth = 2.9, label = "2.9" ];
}
Owner: ellson
Status: *