mCRL2
mCRL2 copied to clipboard
Allow colouring of clusters when marking states in ltsview
Issue migrated from trac ticket # 798
component: ltsview | priority: minor
2010-11-17 14:36:48: @jkeiren created the issue
In order to create attractive images in papers, it would be nice to be able to change the colour of clusters, even when marking e.g. deadlocks. Currently the colour of clusters is out of control of the user, whereas states can be coloured.
2010-11-18 23:44:50: [email protected] commented
Great idea, I'm all for it!
(But don't have the time to work on it... there's still a state positioning improvement waiting to be finished... :( )
2011-06-22 08:51:52: @jkeiren
2014-09-03 14:04:06: [email protected] changed type from defect to feature request
2016-11-24 19:33:44: @wiegerw changed status from new to assigned
2016-11-24 19:33:44: @wiegerw changed owner from fstapper to jfg
2016-11-24 19:33:44: @wiegerw