Merge lp:~tapaal-contributor/tapaal/update-scrollbar-1938778 into lp:tapaal

[Lena Ernstsen]

Scrollbar will update when deleting objects

When deleting an object the scrollbar of the drawing surface will be updated.

Also updates when deleting orphan places/transitions through statistics panel.

[Jiri Srba (srba)]

Tested and works.

review: Approve

=== modified file 'src/dk/aau/cs/gui/TabContent.java'
--- src/dk/aau/cs/gui/TabContent.java	2021-07-27 12:51:40 +0000
+++ src/dk/aau/cs/gui/TabContent.java	2021-08-05 12:58:15 +0000
@@ -2039,8 +2039,6 @@
 	@Override
 	public void deleteSelection() {
 		guiModelManager.deleteSelection();
-
-
 	}
 
 	@Override

=== modified file 'src/pipe/gui/canvas/DrawingSurfaceImpl.java'
--- src/pipe/gui/canvas/DrawingSurfaceImpl.java	2021-08-03 08:40:46 +0000
+++ src/pipe/gui/canvas/DrawingSurfaceImpl.java	2021-08-05 12:58:15 +0000
@@ -123,7 +123,8 @@
 		pno.setManagerRef(null);
 		super.remove(pno); //Must be called after removeFromGui as children might use the references to Drawingsurface
 
-		validate();
+        updatePreferredSize();
+        validate();
 		repaint();
 	}