# 
# patch "app.ml"
#  from [6e417acb3dbf7417d39c4413bac06c3e31647508]
#    to [1684eb27e8ef243f7c213acdb1eda2765549f067]
# 
# patch "view.ml"
#  from [53b08cc8dfc3354affc6c03060a5d7676f8a29c1]
#    to [b67946a0cdb1cf53ffb20dc5cdb85d2f38dc6cdc]
# 
========================================================================
--- app.ml	6e417acb3dbf7417d39c4413bac06c3e31647508
+++ app.ml	1684eb27e8ef243f7c213acdb1eda2765549f067
@@ -104,6 +104,7 @@
 	    view.View.selector
 
     method close_db () =
+      self#clear ;
       may Database.close_db db ;
       db <- None ;
       may Agraph.abort_layout agraph ;
========================================================================
--- view.ml	53b08cc8dfc3354affc6c03060a5d7676f8a29c1
+++ view.ml	b67946a0cdb1cf53ffb20dc5cdb85d2f38dc6cdc
@@ -1482,7 +1482,6 @@
   Find.clear v.find
 
 let close_db v ctrl =
-  clear v ctrl ;
   Branch_selector.clear v.selector
 
 let open_db v ctrl =