X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Fmatita.glade;h=103e27673fe8ee2076b2b3908739e52f28ef81af;hb=a4f6e8b443d8a676bd2bfbf7f29369e070298aa0;hp=23ebec8b3457504487e418ee5ed40738ab4889da;hpb=07dde6f87105c18b28fc784b7d596a5d242e1225;p=helm.git
diff --git a/helm/matita/matita.glade b/helm/matita/matita.glade
index 23ebec8b3..103e27673 100644
--- a/helm/matita/matita.glade
+++ b/helm/matita/matita.glade
@@ -13,311 +13,418 @@
600
True
False
+ True
+ False
+ False
+ GDK_WINDOW_TYPE_HINT_NORMAL
+ GDK_GRAVITY_NORTH_WEST
-
+
True
- False
- 0
+ True
+ False
-
+
True
+ False
+ 0
-