From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 11 Jan 2011 21:49:52 +0000 (+0000)
Subject: Bug fixed: the accelerators for Close and Quit were both Ctrl+q (???)
X-Git-Tag: make_still_working~2595
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=57f19e78a66217588b6f097f378211b7c2890857;p=helm.git

Bug fixed: the accelerators for Close and Quit were both Ctrl+q (???)
---

diff --git a/matita/matita/matita.glade b/matita/matita/matita.glade
index 23e411bb0..85c9f2809 100644
--- 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>