← Back to branch summary

~tapaal-contributor/tapaal/rollercoaster-example-loading-fail-1850713

« back to all changes in this revision

Viewing changes to src/pipe/gui/undo/UndoManager.java

  • Committer: Jiri Srba
  • Date: 2019-04-29 08:48:28 UTC
  • mfrom: (1008.1.1 tapaal)
  • Revision ID: srba.jiri@gmail.com-20190429084828-7tpk4etfqjzs3y22
merged in lp:~tapaal-contributor/tapaal/ImpossibleToDeletePlace-1826206 fixing a problem with arc drawing and pressing ctrl-Z

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/pipe/gui/undo/UndoManager.java
208
208
                if (arcBeingDrawn != null) {
209
209
                        if (arcBeingDrawn.getParent() != null) {
210
210
                                arcBeingDrawn.getParent().remove(arcBeingDrawn);
 
211
                                arcBeingDrawn.getSource().removeFromArc(arcBeingDrawn);
211
212
                        }
212
213
                        view.createArc = null;
213
214
                }