static/js/graph.js

@@ -1331,6 +1331,7 @@ class GraphManager {
             timestamp: Date.now()
         };
         
+        const updates = nodesToHide.map(id => ({ id: id, hidden: true }));
         this.nodes.update(updates);
         this.addToHistory('hide', historyData);