X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Fmatita%2Fmatita.glade;h=a2bfd8bf5774368d743cdcdf9e3ee1430c452f03;hb=aed1e0bd3c3d960cd7a1d4c54b8b7139f90a2552;hp=8fc50338f6590e669c5cea7e1c55d2e4d154a446;hpb=9f49495f5f1e54ccacb8142043cba65ca55b7125;p=helm.git
diff --git a/helm/software/matita/matita.glade b/helm/software/matita/matita.glade
index 8fc50338f..a2bfd8bf5 100644
--- a/helm/software/matita/matita.glade
+++ b/helm/software/matita/matita.glade
@@ -33,6 +33,114 @@
False
0
+
+
+
+ 0
+ False
+ False
+
+
+
True
@@ -465,6 +573,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