jkolom opened this issue 5 years ago · 0 comments
It would be useful to be able to highlight certain messages in long diagrams