diff options
| author | Rich Kadel <richkadel@google.com> | 2020-09-08 16:08:35 -0700 |
|---|---|---|
| committer | Rich Kadel <richkadel@google.com> | 2020-09-08 17:19:38 -0700 |
| commit | c19b2370e419c0be7b46cc9ae7767773560a072c (patch) | |
| tree | 8f5fdd4b673789eb476a0877f408d9eb8a172643 /compiler/rustc_session/src/options.rs | |
| parent | 5099914a16a215794ad243df0cc7a05d91d168e0 (diff) | |
| download | rust-c19b2370e419c0be7b46cc9ae7767773560a072c.tar.gz rust-c19b2370e419c0be7b46cc9ae7767773560a072c.zip | |
Add -Zgraphviz_dark_mode
Many developers use a dark theme with editors and IDEs, but this typically doesn't extend to graphviz output. When I bring up a MIR graphviz document, the white background is strikingly bright. This new option changes the colors used for graphviz output to work better in dark-themed UIs.
Diffstat (limited to 'compiler/rustc_session/src/options.rs')
| -rw-r--r-- | compiler/rustc_session/src/options.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/compiler/rustc_session/src/options.rs b/compiler/rustc_session/src/options.rs index ad36fa76986..f31e0431d0d 100644 --- a/compiler/rustc_session/src/options.rs +++ b/compiler/rustc_session/src/options.rs @@ -907,6 +907,8 @@ options! {DebuggingOptions, DebuggingSetter, basic_debugging_options, "force all crates to be `rustc_private` unstable (default: no)"), fuel: Option<(String, u64)> = (None, parse_optimization_fuel, [TRACKED], "set the optimization fuel quota for a crate"), + graphviz_dark_mode: bool = (false, parse_bool, [UNTRACKED], + "use dark-themed colors in graphviz output (default: no)"), hir_stats: bool = (false, parse_bool, [UNTRACKED], "print some statistics about AST and HIR (default: no)"), human_readable_cgu_names: bool = (false, parse_bool, [TRACKED], |