Merge lp:~tapaal-contributor/tapaal/undo-redo-update-scrollbar-3.6-1875174 into lp:tapaal/3.6

[Jiri Srba]

[Jiri Srba (srba)]

review: Approve

=== modified file 'src/pipe/gui/undo/TranslatePetriNetObjectEdit.java'
--- src/pipe/gui/undo/TranslatePetriNetObjectEdit.java	2011-09-22 13:02:33 +0000
+++ src/pipe/gui/undo/TranslatePetriNetObjectEdit.java	2020-05-10 19:50:57 +0000
@@ -4,6 +4,7 @@
 
 package pipe.gui.undo;
 
+import pipe.gui.DrawingSurfaceImpl;
 import pipe.gui.graphicElements.PetriNetObject;
 import dk.aau.cs.gui.undo.Command;
 
@@ -16,25 +17,29 @@
 	PetriNetObject pnObject;
 	Integer transX;
 	Integer transY;
+	DrawingSurfaceImpl view;
 
 	/** Creates a new instance of */
 	public TranslatePetriNetObjectEdit(PetriNetObject _pnObject,
-			Integer _transX, Integer _transY) {
+									   Integer _transX, Integer _transY, DrawingSurfaceImpl view) {
 		pnObject = _pnObject;
 		transX = _transX;
 		transY = _transY;
+		this.view = view;
 	}
 
 	/** */
 	@Override
 	public void undo() {
 		pnObject.translate(-transX, -transY);
+		view.updatePreferredSize();
 	}
 
 	/** */
 	@Override
 	public void redo() {
 		pnObject.translate(transX, transY);
+		view.updatePreferredSize();
 	}
 
 	@Override

=== modified file 'src/pipe/gui/undo/UndoManager.java'
--- src/pipe/gui/undo/UndoManager.java	2019-04-28 10:13:47 +0000
+++ src/pipe/gui/undo/UndoManager.java	2020-05-10 19:50:57 +0000
@@ -190,7 +190,7 @@
 		Iterator<PetriNetObject> iterator = objects.iterator();
 		while (iterator.hasNext()) {
 			addEdit(new TranslatePetriNetObjectEdit(iterator.next(), transX,
-					transY));
+					transY, view));
 		}
 	}