-
Sub-task
-
Resolution: Done
-
Major
-
None
-
None
-
None
-
None
-
False
-
False
-
List of changes to do on labels:
remove different color for structures and custom types
move type labels to the right
change separator between type and op type from pipe to comma