CoqIde: AccelMap support

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4001 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 6 insertions, 1 deletions

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.