# 
# patch "app.ml"
#  from [d89311f698d934f7d7e04811b0de9554726a4cf9]
#    to [18643872837a6930a96e8068b565079bca98ea66]
# 
========================================================================
--- app.ml	d89311f698d934f7d7e04811b0de9554726a4cf9
+++ app.ml	18643872837a6930a96e8068b565079bca98ea66
@@ -122,11 +122,11 @@
 
     method reload () =
       let fname = maybe Database.get_filename db in
+      let id = self#get_selected_node in
+      let branch = View.Branch_selector.get_branch view.View.selector in
       self#close_db () ;
       may 
-	(self#open_db 
-	   ?id:self#get_selected_node 
-	   ?branch:(View.Branch_selector.get_branch view.View.selector))
+	(self#open_db ?id ?branch)
 	fname
 
     method zoom_in =