fixing bug where removing node from gtree didn't cause the tree to

ghidravore · ghidravore · commit 999454d53baf · 2021-08-31T15:13:57.000-04:00
re-filter
diff --git a/Ghidra/Framework/Docking/src/main/java/docking/widgets/tree/CoreGTreeNode.java b/Ghidra/Framework/Docking/src/main/java/docking/widgets/tree/CoreGTreeNode.java
@@ -348,6 +348,7 @@ protected void doFireNodeRemoved(GTreeNode removedNode, int index) {
 		GTree tree = getTree();
 		if (tree != null) {
 			tree.getModel().fireNodeRemoved((GTreeNode) this, removedNode, index);
+			tree.refilterLater();
 		}
 	}
 

Original file line number	Diff line number	Diff line change
`@@ -348,6 +348,7 @@ protected void doFireNodeRemoved(GTreeNode removedNode, int index) {`
`348`	`348`	`GTree tree = getTree();`
`349`	`349`	`if (tree != null) {`
`350`	`350`	`tree.getModel().fireNodeRemoved((GTreeNode) this, removedNode, index);`
	`351`	`+ tree.refilterLater();`
`351`	`352`	`}`
`352`	`353`	`}`
`353`	`354`