diff options
author | monate <monate@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2003-05-12 09:40:47 +0000 |
---|---|---|
committer | monate <monate@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2003-05-12 09:40:47 +0000 |
commit | 48c65efb870a84562bc0448474f804aa911b0698 (patch) | |
tree | 9afd33e9d8afdb0b027781a34ac62efe24268a1f /INSTALL.ide | |
parent | 127ff9178265072e05900f31bec0ccb5d02c1911 (diff) |
CoqIde: AccelMap support
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4001 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'INSTALL.ide')
-rw-r--r-- | INSTALL.ide | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/INSTALL.ide b/INSTALL.ide index 4d2b123d8..f3a0c868c 100644 --- a/INSTALL.ide +++ b/INSTALL.ide @@ -64,14 +64,17 @@ INSTALLATION make install-ide NOTES -There are two configuration files located in your $(HOME) dir. You may need to - set HOME to any sensible value under Windows. +There are three configuration files located in your $(HOME) dir. + You may need to set HOME to some sensible value under Windows. - .coqiderc is generated by coqide itself. It may be edited by hand or using the Preference menu from coqide. It will be generated the first time you save your preferences in Coqide. - .coqide-gtk2rc is a standard Gtk2 configuration file. A sample file can be - found in the coq lib ide subdir. + found in the coq lib "ide" subdir. + +- .coqide.keys is a standard Gtk2 accelerator dump. You may edit this file + to change the default shortcuts for the menus. Read ide/FAQ for more informations. |