From 517d7f0de0881a651d5b2f5adcc4063fe6332312 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Mon, 5 Sep 2005 11:47:49 +0000 Subject: [PATCH] The logo was searched in the wrong directory. --- helm/matita/matitaMathView.ml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/helm/matita/matitaMathView.ml b/helm/matita/matitaMathView.ml index f57364d5f..4bbaaddea 100644 --- a/helm/matita/matitaMathView.ml +++ b/helm/matita/matitaMathView.ml @@ -398,7 +398,8 @@ 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:"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:"logo/matita_small.png" () :> GObj.widget) method load_logo = -- 2.39.2