Viewing all changes in revision 995.
- Committer: Jiri Srba
- Date: 2019-03-15 19:09:57 UTC
- mfrom: (993.2.1 tapaal)
- Revision ID: srba@cs.aau.dk-20190315190957-xsjcveedvbinv0wl
merged in branch lp:~tapaal-contributor/tapaal/make-grid-reappear-on-export-tikz-cancel-1820016 that fixes problem with disappearing grid after cancelled export to tikz
- files modified:
- src/pipe/gui/Export.java
expand all
collapse all
added
removed
