# 
# 
# patch "view.ml"
#  from [71439d68e1176b98dcf968eb0e11cd706c7fd23d]
#    to [237a7e9ab6a4f75b42f7c1237f6cb8aad39d6aea]
# 
============================================================
--- view.ml	71439d68e1176b98dcf968eb0e11cd706c7fd23d
+++ view.ml	237a7e9ab6a4f75b42f7c1237f6cb8aad39d6aea
@@ -1081,6 +1081,7 @@
     c.branch_items <- None ;
     c.text_items <- [] ;
     c.selected_marker#hide () ;
+    c.selected_node <- None ;
     KeyNav.clear c.keynav ;
     may 
       (fun id ->