Viewing all changes in revision 1039.
- Committer: Jiri Srba
- Date: 2020-03-17 13:04:56 UTC
- mfrom: (1032.7.4 constants-blink-1853902)
- Revision ID: srba@cs.aau.dk-20200317130456-692oty7yt7vgq0tw
merged in lp:~tapaal-contributor/tapaal/constants-blink-1853902 allowing constants to blink when selected in editor mode
- files modified:
- src/dk/aau/cs/model/tapn/Constant.java
expand all
collapse all
added
removed
