I just noticed that you cannot set different line widths for Colour Theming categories anymore (rev. 4527 from 07.06.2015 and rev. 4040 from 08.03.2014).
Open Jump version 1.7.0 allowed different line widths for each class. This changed when the line width option (alongside transparency and display vertices) was added to the menu. Now it universally sets a single line width for all classes.
I attached a screenshot showing the menu in the 1.7.0 release and in rev. 4527 from 07.06.2015
Please test version r4535+
double post
Last edit: Andrei_n 2015-07-14
Hi Michael,
The interface looks fine.
Some problems concern the transparency option.
While unchecked globally, it will still affect the custom transparency options of each category.
For one category it will assign a 255 value and for another 0, even though it is unchecked and set to 0.
Andrei
I made some corrections in the ColorThemingStyle. Can you check if it fixes the problem.
Looks OK now.
Later edit: Setting transparency for one category still affects the transparency of "all other values" category.
Last edit: Andrei_n 2015-08-30