snapshot

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

diff --git a/helm/matita/matita.glade b/helm/matita/matita.glade
index 6420b2aa514ad4e4cd7e1d44d752146d84cbf93b..103e27673fe8ee2076b2b3908739e52f28ef81af 100644 (file)
--- a/helm/matita/matita.glade
+++ b/helm/matita/matita.glade
@@ -51,7 +51,7 @@
                          <property name="use_underline">True</property>
 
                          <child internal-child="image">
-                           <widget class="GtkImage" id="image174">
+                           <widget class="GtkImage" id="image182">
                              <property name="visible">True</property>
                              <property name="stock">gtk-new</property>
                              <property name="icon_size">1</property>
@@ -94,7 +94,7 @@
                          <accelerator key="o" modifiers="GDK_CONTROL_MASK" signal="activate"/>
 
                          <child internal-child="image">
-                           <widget class="GtkImage" id="image175">
+                           <widget class="GtkImage" id="image183">
                              <property name="visible">True</property>
                              <property name="stock">gtk-open</property>
                              <property name="icon_size">1</property>
@@ -115,7 +115,7 @@
                          <accelerator key="s" modifiers="GDK_CONTROL_MASK" signal="activate"/>
 
                          <child internal-child="image">
-                           <widget class="GtkImage" id="image176">
+                           <widget class="GtkImage" id="image184">
                              <property name="visible">True</property>
                              <property name="stock">gtk-save</property>
                              <property name="icon_size">1</property>
@@ -135,7 +135,7 @@
                          <property name="use_underline">True</property>
 
                          <child internal-child="image">
-                           <widget class="GtkImage" id="image177">
+                           <widget class="GtkImage" id="image185">
                              <property name="visible">True</property>
                              <property name="stock">gtk-save-as</property>
                              <property name="icon_size">1</property>
@@ -162,7 +162,7 @@
                          <accelerator key="q" modifiers="GDK_CONTROL_MASK" signal="activate"/>
 
                          <child internal-child="image">
-                           <widget class="GtkImage" id="image178">
+                           <widget class="GtkImage" id="image186">
                              <property name="visible">True</property>
                              <property name="stock">gtk-quit</property>
                              <property name="icon_size">1</property>
@@ -246,7 +246,7 @@
                          <property name="visible">True</property>
                          <property name="label" translatable="yes">Toggle console</property>
                          <property name="use_underline">True</property>
-                         <accelerator key="x" modifiers="GDK_MOD1_MASK" signal="activate"/>
+                         <accelerator key="x" modifiers="GDK_CONTROL_MASK" signal="activate"/>
                        </widget>
                      </child>
                    </widget>