squiid/rust
1
0
Fork 0
Code Issues Pull requests Projects Activity

add different color for cleanup nodes in dark mode

Browse source
This commit is contained in:
Vishnunarayan K I 2020-11-12 13:17:43 +05:30
parent 86a7831f0b
commit 51ecb96252
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
compiler/rustc_mir/src/util/generic_graph.rs
View file

@ -41,7 +41,8 @@ fn bb_to_graph_node(block: BasicBlock, body: &Body<'_>, dark_mode: bool) -> Node
let label = node(def_id, block);
let (title, bgcolor) = if data.is_cleanup {
(format!("{} (cleanup)", block.index()), "lightblue")
let color = if dark_mode { "royalblue" } else { "lightblue" };
(format!("{} (cleanup)", block.index()), color)
} else {
let color = if dark_mode { "dimgray" } else { "gray" };
(format!("{}", block.index()), color)