X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita.glade;h=72ba3db8c62fcfb806e7c1bd0c601aa5930d7397;hb=8ee0e6f729105eaf1907de0baef22e170b0d17b3;hp=e50642a61c18deec5c726b1440cdf278b96ee4fc;hpb=8b7c1699bf9c2d461ae572aac0e5b0e16c1b3dc5;p=helm.git
diff --git a/matita/matita.glade b/matita/matita.glade
index e50642a61..72ba3db8c 100644
--- a/matita/matita.glade
+++ b/matita/matita.glade
@@ -910,7 +910,7 @@
True
Paste Unicode as TeX
True
- True
+ False