Skip to content
Snippets Groups Projects
Commit 610fb10f authored by William Schultz's avatar William Schultz Committed by Markus Alexander Kuppe
Browse files

Change legend name again

parent 1a80927e
No related branches found
No related tags found
No related merge requests found
...@@ -234,7 +234,7 @@ public class DotStateWriter extends StateWriter { ...@@ -234,7 +234,7 @@ public class DotStateWriter extends StateWriter {
StringBuilder sb = new StringBuilder(); StringBuilder sb = new StringBuilder();
sb.append(String.format("subgraph %s {", "cluster_legend")); sb.append(String.format("subgraph %s {", "cluster_legend"));
sb.append("graph[style=bold];"); sb.append("graph[style=bold];");
sb.append("label = \"State Transition Actions\" style=\"solid\"\n"); sb.append("label = \"Next State Actions\" style=\"solid\"\n");
sb.append(String.format("node [ labeljust=\"l\" colorscheme=\"%s\" style=filled shape=record ]\n", dotColorScheme)); sb.append(String.format("node [ labeljust=\"l\" colorscheme=\"%s\" style=filled shape=record ]\n", dotColorScheme));
for(String action : actions) { for(String action : actions) {
String str = String.format("%s [label=\"%s\" fillcolor=%d]", action, action, this.actionToColors.get(action)); String str = String.format("%s [label=\"%s\" fillcolor=%d]", action, action, this.actionToColors.get(action));
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment