Graphviz graphs colorized

This commit is contained in:
Jindra Petřík
2021-02-08 20:15:19 +01:00
parent 4e6b59e2ac
commit 8a1139e66d
14 changed files with 3619 additions and 70 deletions
@@ -649,6 +649,10 @@ public final class Configuration {
@ConfigurationFile
public static ConfigurationItem<String> graphVizDotLocation = null;
@ConfigurationDefaultBoolean(false)
@ConfigurationInternal
public static ConfigurationItem<Boolean> showLineNumbersInPCodeGraphvizGraph = null;
private enum OSId {
WINDOWS, OSX, UNIX
}