update in ground_2 static_2 basic_2

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

diff --git a/matita/matita/matita.glade b/matita/matita/matita.glade
index 23e411bb039f13277c82fe24c9e8f853417114a4..85c9f280940226c4e8335b5cadabbcbbf278156a 100644 (file)
--- a/matita/matita/matita.glade
+++ b/matita/matita/matita.glade
@@ -707,7 +707,7 @@
                                 <property name="visible">True</property>
                                 <property name="use_underline">True</property>
                                 <property name="use_stock">True</property>
-                                <accelerator key="q" signal="activate" modifiers="GDK_CONTROL_MASK"/>
+                                <accelerator key="w" signal="activate" modifiers="GDK_CONTROL_MASK"/>
                               </widget>
                             </child>
                             <child>