The Coq mailing list

[AUGER Cedric <Cedric.Auger AT lri.fr>]

Le Thu, 21 Jul 2011 14:43:08 +0200,
michel levy 
<michel.levy AT imag.fr>
 a écrit :

> With coqide Navigation, I have Forward = Ctrl+Alt+Down, but this touch
> combination doesn't work.
> Actually, It's associated with a panel change.
> How it's possible, in coqide, to activate this touch combination ?
> 
>     Sincerely yours
> 

Edit → Preferences → Shortcut