| commit | 647b24f7f1b56174c141f6e7bb91dd8dcf117373 | [log] [tgz] |
|---|---|---|
| author | Sam Berlin <sameb@google.com> | Thu Apr 10 19:18:26 2014 -0400 |
| committer | Sam Berlin <sameb@google.com> | Thu Apr 10 19:18:26 2014 -0400 |
| tree | c921b9ea780757aed20443949867337813b79f96 | |
| parent | c35ebc2ce88fa26e1e36fd1eb806c2206ea98f00 [diff] |
Fix external issue 755. Grapher config was wrong. ------------- Created by MOE: http://code.google.com/p/moe-java MOE_MIGRATED_REVID=64724255
diff --git a/extensions/grapher/src/com/google/inject/grapher/graphviz/GraphvizGrapher.java b/extensions/grapher/src/com/google/inject/grapher/graphviz/GraphvizGrapher.java index 8614a2a..4a312c3 100644 --- a/extensions/grapher/src/com/google/inject/grapher/graphviz/GraphvizGrapher.java +++ b/extensions/grapher/src/com/google/inject/grapher/graphviz/GraphvizGrapher.java
@@ -116,7 +116,7 @@ attrs.put("label", getNodeLabel(node)); // remove most of the margin because the table has internal padding - attrs.put("margin", "0.02,0"); + attrs.put("margin", "\"0.02,0\""); attrs.put("shape", node.getShape().toString()); attrs.put("style", node.getStyle().toString());