Logo added to the about dialog.

diff --git a/helm/matita/logo/matita.png b/helm/matita/logo/matita.png
new file mode 100644 (file)
index 0000000..342bcb4
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 (file)
index 0000000..335688a
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 (file)
index 0000000..cfb017b
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 cf141722992e3d49ccba720beba267d0396867d7..fbae8013de79850c353f46628d49bc1f584b6464 100644 (file)
--- 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"