From 48c65efb870a84562bc0448474f804aa911b0698 Mon Sep 17 00:00:00 2001
From: monate <monate@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Mon, 12 May 2003 09:40:47 +0000
Subject: CoqIde: AccelMap support

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4001 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 ide/FAQ | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

(limited to 'ide/FAQ')

diff --git a/ide/FAQ b/ide/FAQ
index ba97211e5..53b34d7ea 100644
--- a/ide/FAQ
+++ b/ide/FAQ
@@ -54,4 +54,9 @@ R6) Use
     or 
 	coqmktop -ide -opt m1.cmx...mi.cmx
 
-
+Q7) How to customize the shortcuts for menus?
+R6) Two solutions are offered:
+  - Edit $HOME/.coqide.keys by hand
+  - Add "gtk-can-change-accels = 1" in your .coqiderc.gtk2 file. Then
+    from CoqIde, you may select a menu entry and press the desired 
+    shortcut. Do not forget to save your preferences.
-- 
cgit v1.2.3