X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fmatita.ui;h=adc72164d48e4e562402f70c23c2aaa54a3c667b;hb=a835ae142c71d7cade1b210c8123069513dc17e4;hp=6e8481589cba99e67c3f2cebae76016db891f627;hpb=d019d378b91936e8d40e7094e89b8d7b827f4e26;p=helm.git
diff --git a/matita/matita/matita.ui b/matita/matita/matita.ui
index 6e8481589..adc72164d 100644
--- a/matita/matita/matita.ui
+++ b/matita/matita/matita.ui
@@ -2556,6 +2556,7 @@
400
True
True
+ True