Viewing all changes in revision 1028.
- Committer: Jiri Srba
- Date: 2019-11-14 15:37:52 UTC
- mfrom: (1027.1.1 tapaal-fixes-1849786-arcJumpsBetweenTransitions)
- Revision ID: srba@cs.aau.dk-20191114153752-u2x3bjhyavfwnrqm
merged in lp:~yrke/tapaal/tapaal-fixes-1849786-arcJumpsBetweenTransitions fixing arcs jumping when transitions are too close to each other
- files modified:
- src/pipe/gui/graphicElements/Transition.java
expand all
collapse all
added
removed
