coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] coqide touch assignment

From: michel levy <michel.levy AT imag.fr>
To: coq-club AT inria.fr
Subject: [Coq-Club] coqide touch assignment
Date: Thu, 21 Jul 2011 14:43:08 +0200

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

-- 
Michel Lévy 36  rue George Sand 38400 Saint Martin d'Hères
tel : +33(0)476243339
email : michel.levy AT imag.fr
http://membres-liglab.imag.fr/michel.levy

[Coq-Club] coqide touch assignment, michel levy
- Re: [Coq-Club] coqide touch assignment, AUGER Cedric