~tapaal-maintainers/tapaal/tapaal-dev

Viewing all changes in revision 1019.

Fixed bug 1827039, constant hightlight not working

Fixed bug where hightlight of constants was not working, after refactoring. The color hightlight was overwritten in drawComponent. Now select() and hightlight() sets the color of lable correctly

Also arcs now uses the pnName label over the lable.

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: