Update project tree when model removed

OpenPonk · Jul 7, 2024 · fce6c47 · fce6c47
1 parent 7e56d46
commit fce6c47
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 4 deletions.
diff --git a/repository/OpenPonk-PetriNets/OPPetriNetArcController.class.st b/repository/OpenPonk-PetriNets/OPPetriNetArcController.class.st
@@ -18,8 +18,10 @@ OPPetriNetArcController >> isHideable [
 	^ true
 ]
 
-{ #category : 'removing' }
+{ #category : 'destruction' }
 OPPetriNetArcController >> removeModel [
+
 	self model announcer unsubscribe: self.
-	self diagramController model remove: self model
+	self diagramController model remove: self model.
+	super removeModel
 ]
diff --git a/repository/OpenPonk-PetriNets/OPPetriNetNodeController.class.st b/repository/OpenPonk-PetriNets/OPPetriNetNodeController.class.st
@@ -63,8 +63,10 @@ OPPetriNetNodeController >> isHideable [
 	^ true
 ]
 
-{ #category : 'removing' }
+{ #category : 'destruction' }
 OPPetriNetNodeController >> removeModel [
+
 	self model announcer unsubscribe: self.
-	self diagramController model remove: self model
+	self diagramController model remove: self model.
+	super removeModel
 ]