Method penWidth

src/main/java/org/sfj/DrawDot.java:613–616

(int penWidth)

    }

    public Connection penWidth(int penWidth) {
      add(new Attribute("penwidth", penWidth));
      return this;
    }

    public Node getFrom() {
      return from;