Rich Kadel
c19b2370e4
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.
2020-09-08 17:19:38 -07:00
..
2020-09-07 01:17:46 +02:00
2020-09-04 22:17:28 +08:00
2020-09-02 03:19:38 +00:00
2020-09-02 13:18:19 +02:00
2020-09-04 17:47:51 +02:00
2020-09-04 17:47:51 +02:00
2020-09-04 16:28:23 -07:00
2020-09-03 23:27:45 +00:00
2020-09-08 00:58:43 +00:00
2020-09-02 10:43:17 +03:00
2020-09-03 23:28:22 +02:00
2020-09-04 22:17:28 +08:00
2020-09-08 17:19:38 -07:00
2020-09-04 09:24:44 +02:00
2020-09-04 18:28:20 +02:00
2020-09-03 23:27:45 +00:00
2020-09-02 00:40:19 +03:00
2020-09-04 17:47:51 +02:00
2020-09-08 00:58:43 +00:00
2020-09-04 17:47:51 +02:00
2020-09-07 01:18:10 +02:00
2020-09-08 17:19:38 -07:00
2020-09-07 01:18:05 +02:00
2020-09-03 23:28:22 +02:00
2020-09-05 09:35:17 +00:00
2020-09-04 17:47:51 +02:00
2020-09-01 18:24:35 -07:00
2020-09-04 17:47:51 +02:00
2020-09-08 17:19:38 -07:00
2020-09-04 17:47:51 +02:00
2020-09-07 01:18:17 +02:00
2020-09-04 18:28:20 +02:00
2020-09-04 19:17:57 -04:00
2020-09-04 17:47:51 +02:00
2020-09-08 00:58:43 +00:00