<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>
<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>