From: Claudio Sacerdoti Coen Date: Tue, 6 Sep 2005 08:59:09 +0000 (+0000) Subject: Bug fixed: the small logo was searched in the wrong path. X-Git-Tag: V_0_1_2_1~86 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=ea525d45c3005d239ab964f88afadc98b08fcae9;p=helm.git Bug fixed: the small logo was searched in the wrong path. --- diff --git a/helm/matita/matitaMathView.ml b/helm/matita/matitaMathView.ml index 4bbaaddea..de08f538e 100644 --- a/helm/matita/matitaMathView.ml +++ b/helm/matita/matitaMathView.ml @@ -400,7 +400,7 @@ class sequentsViewer ~(notebook:GPack.notebook) ~(cicMathView:cicMathView) () = (* 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_with_qed = (GMisc.image ~file:"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;