X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=matita%2Fmatita%2Fmatita.glade;h=85c9f280940226c4e8335b5cadabbcbbf278156a;hb=c6fd879d3de5fb7675dc46efd925a8b5b109b8c4;hp=28a5e609f44a920e49cc9ca805d00ecb567a9688;hpb=eebe90eef0aa7997fc6cfc926b7bbf1899b5080d;p=helm.git
diff --git a/matita/matita/matita.glade b/matita/matita/matita.glade
index 28a5e609f..85c9f2809 100644
--- a/matita/matita/matita.glade
+++ b/matita/matita/matita.glade
@@ -212,7 +212,15 @@
True
-
+
+ True
+ True
+ True
+ ●
+
+
+ 0
+
@@ -699,7 +707,7 @@
True
True
True
-
+