Viewing all changes in revision 1015.
- Committer: Jiri Srba
- Date: 2019-05-21 09:21:16 UTC
- mfrom: (1000.9.2 SaveWithOtherTabOpen-1826218)
- Revision ID: srba.jiri@gmail.com-20190521092116-jkugy1toks4foapm
merged in lp:~tapaal-contributor/tapaal/SaveWithOtherTabOpen-1826218 fixing a problem with saving a net in a non-active tab
- files modified:
- src/pipe/gui/GuiFrame.java
expand all
collapse all
added
removed
