james-d-mitchell
commented
2 years ago I’ve been thinking about this issue more generally and think we should implement something more general where we have a “dot” object that we can then modify the node/edge/global attributes of the picture individually, happy to discuss this further since this comment doesn’t have much detail in it
Currently there are methods for splashing digraphs with coloured vertices or edges (or both) and digraphs with different vertex labels. It would be nice if we could do both. (For example I wanted to create the orbital graph for a group in a stabiliser chain and I would like to both be able to colour the edges and change the numbering of vertices to match the points the group acted on)