Viewing all changes in revision 1010.
- Committer: Jiri Srba
- Date: 2019-05-21 09:14:13 UTC
- mfrom: (1000.5.2 tapaal-fix1827039-constantHightlight)
- Revision ID: srba.jiri@gmail.com-20190521091413-cu2mrkrhpqhf3kzo
merged in lp:~yrke/tapaal/tapaal-fix1827039-constantHightlight fixing constant highlighting that didn't work after refactoring
- files modified:
- src/pipe/gui/graphicElements/Arc.java
expand all
collapse all
added
removed
