From e379c82a3c12ef443b03d224f5248d0c829bd004 Mon Sep 17 00:00:00 2001
From: Alon Levy <alon@pobox.com>
Date: Sun, 1 Mar 2015 00:11:06 +0200
Subject: client/selection: make sure selection is visible

---
 src/client/view/selection.js | 15 +++++++++++++--
 1 file changed, 13 insertions(+), 2 deletions(-)

(limited to 'src/client/view')

diff --git a/src/client/view/selection.js b/src/client/view/selection.js
index f6082d8b..fa8e1cf4 100644
--- a/src/client/view/selection.js
+++ b/src/client/view/selection.js
@@ -35,14 +35,24 @@ function new_selection(nodes, root_nodes)
     return ret;
 }
 
-function get_main_graph()
+function get_rz_core()
 {
     // circular dependency on rz_core, so require.js cannot solve it.
     if (rz_core === undefined) {
         rz_core = require('rz_core');
         listen_on_diff_bus(rz_core.main_graph.diffBus);
     }
-    return rz_core.main_graph;
+    return rz_core;
+}
+
+function get_main_graph()
+{
+    return get_rz_core().main_graph;
+}
+
+function get_main_graph_view()
+{
+    return get_rz_core().main_graph_view;
 }
 
 var root_nodes = [], // these are the nodes that are requested via update
@@ -198,6 +208,7 @@ var inner_update = function(nodes)
     clear();
     root_nodes = nodes;
     root_nodes__by_id = nodes_to_id_dict(nodes);
+    get_main_graph_view().nodes__user_visible(nodes);
     connectedComponent(nodes);
 }
 
-- 
cgit v1.3.1