X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fmatita.glade;h=f94406c9253128c39f5bd58a59fe68c1cd519e9b;hb=96aa0e9ac8fe4a4a23748c0ef70bab362f457e0b;hp=8fc50338f6590e669c5cea7e1c55d2e4d154a446;hpb=9f49495f5f1e54ccacb8142043cba65ca55b7125;p=helm.git
diff --git a/helm/software/matita/matita.glade b/helm/software/matita/matita.glade
index 8fc50338f..f94406c92 100644
--- a/helm/software/matita/matita.glade
+++ b/helm/software/matita/matita.glade
@@ -465,6 +465,48 @@
tab
+
+
+
+ True
+ True
+ GTK_POLICY_AUTOMATIC
+ GTK_POLICY_AUTOMATIC
+ GTK_SHADOW_NONE
+ GTK_CORNER_TOP_LEFT
+
+
+
+
+
+
+ False
+ True
+
+
+
+
+
+ True
+ Graph
+ False
+ False
+ GTK_JUSTIFY_LEFT
+ False
+ False
+ 0.5
+ 0.5
+ 0
+ 0
+ PANGO_ELLIPSIZE_NONE
+ -1
+ False
+ 0
+
+
+ tab
+
+
0