X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fmatita.glade;h=f94406c9253128c39f5bd58a59fe68c1cd519e9b;hb=96aa0e9ac8fe4a4a23748c0ef70bab362f457e0b;hp=a756e4042ad35e8c906d0a6c6984e1bb8e074937;hpb=8f9d476c32c48d14348a61889dc191c7696bd404;p=helm.git
diff --git a/helm/software/matita/matita.glade b/helm/software/matita/matita.glade
index a756e4042..f94406c92 100644
--- a/helm/software/matita/matita.glade
+++ b/helm/software/matita/matita.glade
@@ -412,12 +412,72 @@
-
+
True
+ True
+ GTK_POLICY_AUTOMATIC
+ GTK_POLICY_AUTOMATIC
+ GTK_SHADOW_NONE
+ GTK_CORNER_TOP_LEFT
+
+
+
+ True
+ GTK_SHADOW_NONE
+
+
+
+ True
+ 0.5
+ 0.5
+ 0
+ 0
+
+
+
+
+
+
+ False
+ True
+
+
+
+
+
+ True
+ WhelpEasterEgg
+ False
+ False
+ GTK_JUSTIFY_LEFT
+ False
+ False
0.5
0.5
0
0
+ PANGO_ELLIPSIZE_NONE
+ -1
+ False
+ 0
+
+
+ tab
+
+
+
+
+
+ True
+ True
+ GTK_POLICY_AUTOMATIC
+ GTK_POLICY_AUTOMATIC
+ GTK_SHADOW_NONE
+ GTK_CORNER_TOP_LEFT
+
+
+
+
False
@@ -426,9 +486,9 @@
-
+
True
- WhelpEasterEgg
+ Graph
False
False
GTK_JUSTIFY_LEFT