From 5c6821651fce45c53bf5e6b25b67c57f90635373 Mon Sep 17 00:00:00 2001 From: Saul Shanabrook Date: Mon, 12 Aug 2024 19:41:20 -0400 Subject: [PATCH] Change graphviz text to be monospace --- src/graphviz.rs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/graphviz.rs b/src/graphviz.rs index 7e62ed5..7912ffc 100644 --- a/src/graphviz.rs +++ b/src/graphviz.rs @@ -57,7 +57,7 @@ impl EGraph { stmt!(GraphAttributes::compound(true)), // Set default sub-graph rank to be same so that all nodes in e-class are on same level stmt!(SubgraphAttributes::rank(rank::same)), - stmt!(GraphAttributes::fontname("helvetica".to_string())), + stmt!(GraphAttributes::fontname("monospace".to_string())), stmt!(GraphAttributes::fontsize(9.0)), stmt!(GraphAttributes::margin(3.0)), stmt!(GraphAttributes::nodesep(0.05)), @@ -67,7 +67,7 @@ impl EGraph { stmt!(GA::Node(vec![ NodeAttributes::shape(shape::none), NodeAttributes::margin(0.0), - NodeAttributes::fontname("helvetica".to_string()) + NodeAttributes::fontname("monospace".to_string()) ])), // Draw edges first, so that they are behind nodes stmt!(GraphAttributes::outputorder(outputorder::edgesfirst)),