Viewing all changes in revision 971.
- Committer: Jiri Srba
- Date: 2018-08-13 08:17:56 UTC
- mfrom: (970.1.1 tapaal)
- Revision ID: srba.jiri@gmail.com-20180813081756-c2jptbl0odoh8d3w
merge in branch lp:~tapaal-contributor/tapaal/paint-arc-labels-on-select-1786459that highlights labels when an arc is selected
- files modified:
- src/pipe/gui/graphicElements/tapn/TimedOutputArcComponent.java
expand all
collapse all
added
removed
