From 57f19e78a66217588b6f097f378211b7c2890857 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 11 Jan 2011 21:49:52 +0000
Subject: [PATCH] Bug fixed: the accelerators for Close and Quit were both
 Ctrl+q (???)

---
 matita/matita/matita.glade | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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