From 78ac05ff7fcb9d2009a23ce32e9aaf894b1a4c7e Mon Sep 17 00:00:00 2001
From: ppedrot
Date: Thu, 21 Jun 2012 09:34:49 +0000
Subject: Fixing accelerator dynamic modification in CoqIDE.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15465 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 ide/coqide.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/ide/coqide.ml b/ide/coqide.ml
index c99dee7f1e..df3958626e 100644
--- a/ide/coqide.ml
+++ b/ide/coqide.ml
@@ -2102,6 +2102,7 @@ let main files =
     Coqide_ui.ui_m#insert_action_group windows_actions 0;
     Coqide_ui.ui_m#insert_action_group help_actions 0;
     w#add_accel_group Coqide_ui.ui_m#get_accel_group ;
+    GtkMain.Rc.parse_string "gtk-can-change-accels = 1";
     if Coq_config.gtk_platform <> `QUARTZ
     then vbox#pack (Coqide_ui.ui_m#get_widget "/CoqIde MenuBar");
     let tbar = GtkButton.Toolbar.cast ((Coqide_ui.ui_m#get_widget "/CoqIde ToolBar")#as_widget)
-- 
cgit v1.2.3