The Coq mailing list

[Pierre Boutillier <pierre.boutillier AT pps.univ-paris-diderot.fr>]

Hi,
Under Linux (and probably BSD), the relevant files are
$HOME/.config/coq/coqiderc for general configuration
and $HOME/.config/coq/coqide.keys for specific keybinding
Under MacOS if you use CoqIDE.app  it is $HOME/Library/Application\
Support/coq/{coqide.keys,coqiderc}
Under windows (and in any case in fact) it is 'whatever
(Glib.get_user_config_dir ()) answers'/coq/...

Probably, Coqide doesn't read/write them correctly. Are this file exist
on your computer ? Are they writtable ?
Open the preference pane in <menubar>/Edit/Preferences change something
and then press Apply and then OK. Coqide will try to save the new
preferences and, if something goes wrong, you will see the error in the
status bar at the bottom of the main window (where Coq normally says
"Ready").

Pierre B.

On 21/07/2014 10:51, nixiejun wrote:
> *Dear Coq users,*
> *    Thank you for reading this mail.*
> *    When every time I use the coqIde,I have to reset my setting of
> "forward" or "backward",it is really inconvenient !*
> *     Could anyone tell me how to make my settings on Navigation
> permanently unchanged?*
> *     *
> *Thanks & best regards,*
> *Xiejun Ni.*
> 
>