mCRL2 icon indicating copy to clipboard operation
mCRL2 copied to clipboard

Allow colouring of clusters when marking states in ltsview

Open jgroote opened this issue 14 years ago • 7 comments

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.

jgroote avatar Nov 17 '10 14:11 jgroote

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... :( )

jgroote avatar Nov 18 '10 23:11 jgroote

2011-06-22 08:51:52: @jkeiren

jgroote avatar Jun 22 '11 08:06 jgroote

2014-09-03 14:04:06: [email protected] changed type from defect to feature request

jgroote avatar Sep 03 '14 14:09 jgroote

2016-11-24 19:33:44: @wiegerw changed status from new to assigned

jgroote avatar Nov 24 '16 19:11 jgroote

2016-11-24 19:33:44: @wiegerw changed owner from fstapper to jfg

jgroote avatar Nov 24 '16 19:11 jgroote

2016-11-24 19:33:44: @wiegerw

jgroote avatar Nov 24 '16 19:11 jgroote

2017-05-04 15:36:12: @wiegerw

jgroote avatar May 04 '17 15:05 jgroote