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 =