From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Thu, 8 Sep 2005 10:39:49 +0000 (+0000)
Subject: - uses runtime base dir to reference logo with qed
X-Git-Tag: V_0_1_2_1~59
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=301c308c53e3d47d0c924731717c6d075273961e;p=helm.git

- 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 b1970857f..479891fec 100644
--- 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;