GP-6238: filter

2026-05-26 17:45:32 +08:00 · 2025-12-16 19:55:59 +00:00
parent 7fa380f877
commit 1bed17a472
1 changed files with 1 additions and 0 deletions
@@ -308,6 +308,7 @@ public class ObjectTreeModel implements DisplaysModified {
 			}
 			String key = p.key(pos);
 			AbstractNode matched = children().stream()
+					.filter(c -> c instanceof AbstractNode)
 					.map(c -> (AbstractNode) c)
 					.filter(c -> key.equals(c.getValue().getEntryKey()))
 					.findFirst()