Viewing all changes in revision 1041.
- Committer: Kenneth Yrke Joergensen
- Date: 2019-12-11 14:38:46 UTC
- mfrom: (998.23.6 undo-redo-not-available-when-drawing-arc-1848949)
- Revision ID: kenneth@yrke.dk-20191211143846-2c41fulwh95ntaox
merged in lp:~tapaal-contributor/tapaal/undo-redo-not-available-when-drawing-arc-1848949 fixing undo when drawing an arc
- files modified:
- src/pipe/gui/GuiFrame.java
expand all
collapse all
added
removed
