Skip to content

Commit 19ce033

Browse files
Change graphviz text to be monospace
1 parent f6aa7e7 commit 19ce033

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

src/graphviz.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -57,7 +57,7 @@ impl EGraph {
5757
stmt!(GraphAttributes::compound(true)),
5858
// Set default sub-graph rank to be same so that all nodes in e-class are on same level
5959
stmt!(SubgraphAttributes::rank(rank::same)),
60-
stmt!(GraphAttributes::fontname("helvetica".to_string())),
60+
stmt!(GraphAttributes::fontname("monospace".to_string())),
6161
stmt!(GraphAttributes::fontsize(9.0)),
6262
stmt!(GraphAttributes::margin(3.0)),
6363
stmt!(GraphAttributes::nodesep(0.05)),
@@ -67,7 +67,7 @@ impl EGraph {
6767
stmt!(GA::Node(vec![
6868
NodeAttributes::shape(shape::none),
6969
NodeAttributes::margin(0.0),
70-
NodeAttributes::fontname("helvetica".to_string())
70+
NodeAttributes::fontname("monospace".to_string())
7171
])),
7272
// Draw edges first, so that they are behind nodes
7373
stmt!(GraphAttributes::outputorder(outputorder::edgesfirst)),

0 commit comments

Comments
 (0)