- matitaWiki removed

[helm.git] / matita / matita / matita.glade

diff --git a/matita/matita/matita.glade b/matita/matita/matita.glade
index 0d80fe22c933960827789de606e3c3601b392610..5c343f0af4a484a6596295f88b97270b88175d6b 100644 (file)
--- a/matita/matita/matita.glade
+++ b/matita/matita/matita.glade
@@ -1291,19 +1291,6 @@
                                 <property name="use_underline">True</property>
                               </widget>
                             </child>
-                            <child>
-                              <widget class="GtkImageMenuItem" id="showAutoGuiMenuItem">
-                                <property name="visible">True</property>
-                                <property name="tooltip" translatable="yes">Displays a window helpful to drive automation</property>
-                                <property name="label" translatable="yes">Auto GUI</property>
-                                <property name="use_underline">True</property>
-                                <child internal-child="image">
-                                  <widget class="GtkImage" id="menu-item-image19">
-                                    <property name="stock">gtk-media-pause</property>
-                                  </widget>
-                                </child>
-                              </widget>
-                            </child>
                             <child>
                               <widget class="GtkMenuItem" id="showTermGrammarMenuItem">
                                 <property name="visible">True</property>