Viewing all changes in revision 1006.
- Committer: srba.jiri at gmail
- Date: 2019-04-13 19:17:52 UTC
- mfrom: (1005.1.1 tapaal)
- Revision ID: srba.jiri@gmail.com-20190413191752-al4mmwzyapinjpf9
merged in lp:~tapaal-contributor/tapaal/fix-1769718-transitionsRedInEditMode fixing enabled transitions when selecting Advanced workspace
- files modified:
- src/pipe/gui/GuiFrame.java
expand all
collapse all
added
removed
