Verified Commit c68ee9dc authored by Stefan Brunecker's avatar Stefan Brunecker
Browse files

Change formatting of dimensions

parent 7647a58c
......@@ -102,7 +102,7 @@ public class HtmlGenerator {
String[] dimension = getDimension(ports, port);
String dim = dimension.length > 0 ?
"[" + Arrays.stream(dimension).collect(Collectors.joining("][")) + "]" : "";
"^{" + Arrays.stream(dimension).collect(Collectors.joining(", ")) + "}" : "";
return type + dim;
}
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment