diff options
| author | Dylan MacKenzie <ecstaticmorse@gmail.com> | 2020-01-21 13:35:17 -0800 |
|---|---|---|
| committer | Dylan MacKenzie <ecstaticmorse@gmail.com> | 2020-02-09 10:33:06 -0800 |
| commit | 852afa2e88db4db01d6454c3150c975f9f897420 (patch) | |
| tree | d9f91f17e4a4042304916a50020f661fb2b6899a | |
| parent | effd52078c55c4e585010f6d1a322414c4979da6 (diff) | |
Add option to `dot::render` for monospace font
| -rw-r--r-- | src/libgraphviz/lib.rs | 10 | ||||
| -rw-r--r-- | src/librustc_mir/dataflow/generic/engine.rs | 2 |
2 files changed, 11 insertions, 1 deletions
diff --git a/src/libgraphviz/lib.rs b/src/libgraphviz/lib.rs index d04f5c1d4ee..a53e0012ca2 100644 --- a/src/libgraphviz/lib.rs +++ b/src/libgraphviz/lib.rs @@ -597,6 +597,8 @@ pub enum RenderOption { NoNodeLabels, NoEdgeStyles, NoNodeStyles, + + Monospace, } /// Returns vec holding all the default render options. @@ -626,6 +628,14 @@ where W: Write, { writeln!(w, "digraph {} {{", g.graph_id().as_slice())?; + + // Global graph properties + if options.contains(&RenderOption::Monospace) { + writeln!(w, r#" graph[fontname="monospace"];"#)?; + writeln!(w, r#" node[fontname="monospace"];"#)?; + writeln!(w, r#" edge[fontname="monospace"];"#)?; + } + for n in g.nodes().iter() { write!(w, " ")?; let id = g.node_id(n); diff --git a/src/librustc_mir/dataflow/generic/engine.rs b/src/librustc_mir/dataflow/generic/engine.rs index c0152b0c7d5..718c1e9ae20 100644 --- a/src/librustc_mir/dataflow/generic/engine.rs +++ b/src/librustc_mir/dataflow/generic/engine.rs @@ -331,7 +331,7 @@ where let mut buf = Vec::new(); let graphviz = graphviz::Formatter::new(body, def_id, results, &mut *formatter); - dot::render(&graphviz, &mut buf)?; + dot::render_opts(&graphviz, &mut buf, &[dot::RenderOption::Monospace])?; fs::write(&path, buf)?; Ok(()) } |
