rc-1

[helm.git] / matita / matita.glade

diff --git a/matita/matita.glade b/matita/matita.glade
index e50642a61c18deec5c726b1440cdf278b96ee4fc..72ba3db8c62fcfb806e7c1bd0c601aa5930d7397 100644 (file)
--- a/matita/matita.glade
+++ b/matita/matita.glade
@@ -910,7 +910,7 @@
                                 <property name="visible">True</property>
                                 <property name="label" translatable="yes">Paste Unicode as TeX</property>
                                 <property name="use_underline">True</property>
-                                <property name="active">True</property>
+                                <property name="active">False</property>
                               </widget>
                             </child>
                             <child>