X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=matita%2Fmatita.glade;h=72ba3db8c62fcfb806e7c1bd0c601aa5930d7397;hb=8097af927e3e0f80c6dd2cb219b38f18e81df2a6;hp=31ca67c3369abb38fffc0840671a7ecfbb88091d;hpb=6ff514ec3bdc39bd0afbdfb210290a670a20a60d;p=helm.git

diff --git a/matita/matita.glade b/matita/matita.glade
index 31ca67c33..72ba3db8c 100644
--- 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>
@@ -1161,7 +1161,7 @@
                               <widget class="GtkMenuItem" id="showCoercionsGraphMenuItem">
                                 <property name="visible">True</property>
                                 <property name="tooltip" translatable="yes">Displays the graph of coercions</property>
-                                <property name="label" translatable="yes">Coericons Graph</property>
+                                <property name="label" translatable="yes">Coercions Graph</property>
                                 <property name="use_underline">True</property>
                               </widget>
                             </child>