From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 28 Jul 2005 16:00:38 +0000 (+0000)
Subject: Logo added to the about dialog.
X-Git-Tag: V_0_7_2~9
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=fb301428e2f9c762b98e2f64d5b948c99a30143d;p=helm.git

Logo added to the about dialog.
---

diff --git a/helm/matita/logo/matita.png b/helm/matita/logo/matita.png
new file mode 100644
index 000000000..342bcb44c
Binary files /dev/null and b/helm/matita/logo/matita.png differ
diff --git a/helm/matita/logo/matita_medium.png b/helm/matita/logo/matita_medium.png
new file mode 100644
index 000000000..335688af2
Binary files /dev/null and b/helm/matita/logo/matita_medium.png differ
diff --git a/helm/matita/logo/matita_small.png b/helm/matita/logo/matita_small.png
new file mode 100644
index 000000000..cfb017b0f
Binary files /dev/null and b/helm/matita/logo/matita_small.png differ
diff --git a/helm/matita/matitaGui.ml b/helm/matita/matitaGui.ml
index cf1417229..fbae8013d 100644
--- a/helm/matita/matitaGui.ml
+++ b/helm/matita/matitaGui.ml
@@ -176,8 +176,9 @@ class gui () =
         (*~comments:"comments"*)
         ~copyright:"Copyright (C) 2005, the HELM team"
         ~license:(String.concat "\n" (parse_txt_file "LICENSE"))
-        (*?logo:GdkPixbuf.pixbuf*)
-        (*?logo_icon_name:string*)
+        ~logo:
+          (GdkPixbuf.from_file
+            (BuildTimeConf.runtime_base_dir ^ "/logo/matita_medium.png"))
         ~name:"Matita"
         ~version:BuildTimeConf.version
         ~website:"http://helm.cs.unibo.it"