- uses runtime base dir to reference logo with qed

- removed some dead code

diff --git a/helm/matita/matitaMathView.ml b/helm/matita/matitaMathView.ml
index b1970857ff4e53d23e71cbd3fc1a873e71a7cd7c..479891fec0e41a24eed945b75444f3244b58e4c9 100644 (file)
--- a/helm/matita/matitaMathView.ml
+++ b/helm/matita/matitaMathView.ml
@@ -129,18 +129,15 @@ object (self)
   val mutable selection_changed = false
 
   method private selection_get_cb ctxt ~info ~time =
-(*     prerr_endline "selection_get_cb"; *)
     (match self#get_selections with
     | [] -> ()
     | node :: _ -> ctxt#return (self#string_of_node node))
 
   method private selection_clear_cb sel_event =
-(*     prerr_endline "selection_clear_cb"; *)
     self#remove_selections;
     false
 
   method private button_press_cb gdk_button =
-(*     prerr_endline "button_press_cb"; *)
     let button = GdkEvent.Button.button gdk_button in
     if  button = left_button then begin
       button_press_x <- GdkEvent.Button.x gdk_button;
@@ -151,7 +148,6 @@ object (self)
     false
 
   method private popup_contextual_menu time =
-(*     prerr_endline "popup_contextual_menu"; *)
     match self#string_of_selection with
     | None -> ()
     | Some s ->
@@ -387,9 +383,13 @@ class sequentsViewer ~(notebook:GPack.notebook) ~(cicMathView:cicMathView) () =
     val mutable _metasenv = []
     val mutable scrolledWin: GBin.scrolled_window option = None
       (* scrolled window to which the sequentViewer is currently attached *)
-    val logo = (GMisc.image ~file:(BuildTimeConf.runtime_base_dir ^ "/logo/matita_medium.png") () :> GObj.widget)
+    val logo = (GMisc.image
+      ~file:(BuildTimeConf.runtime_base_dir ^ "/logo/matita_medium.png") ()
+      :> GObj.widget)
             
-    val logo_with_qed = (GMisc.image ~file:(BuildTimeConf.runtime_base_dir ^ "/logo/matita_small.png") () :> GObj.widget)
+    val logo_with_qed = (GMisc.image
+      ~file:(BuildTimeConf.runtime_base_dir ^ "/logo/matita_small.png") ()
+      :> GObj.widget)
 
     method load_logo =
      notebook#set_show_tabs false;