coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Strange behaviour of CoqIde

From: Ilmārs Cīrulis <ilmars.cirulis AT gmail.com>
To: "coq-club AT inria.fr" <coq-club AT inria.fr>
Subject: Re: [Coq-Club] Strange behaviour of CoqIde
Date: Mon, 1 Feb 2016 11:59:30 +0200
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=ilmars.cirulis AT gmail.com; spf=Pass smtp.mailfrom=ilmars.cirulis AT gmail.com; spf=None smtp.helo=postmaster AT mail-yk0-f175.google.com
Ironport-phdr: 9a23:x5ws3xesYlrGtBoX1CJQaqsJlGMj4u6mDksu8pMizoh2WeGdxc68Yh7h7PlgxGXEQZ/co6odzbGG7Oa4CCdasc7JmUtBWaIPfidNsd8RkQ0kDZzNImzAB9muURYHGt9fXkRu5XCxPBsdMs//Y1rPvi/6tmZKSV3BPAZ4bt74BpTVx5zukbvipNuLMk4S1GL1SIgxBSv1hD2ZjtMRj4pmJ/R54TryiVwMRd5rw3h1L0mYhRf265T41pdi9yNNp6BprJYYAu2pN5g/GPZTCy1jOGQo7uXqswPCRE2B/DFUBm4Ri19DBxXPxBD8RJb49CXg4LlTwi6faOzySBsuQnyJ7r12TB7zwHMGMzsw6nqRgc1qkaZauzquohV+x8jfZ4TDZ6k2Rb/UYd5PHTkJZc1WTSEUWo4=

Big thanks! It worked. :)

On Mon, Feb 1, 2016 at 11:49 AM, Jacek Chrząszcz <chrzaszcz AT mimuw.edu.pl> wrote:

You probably pressed "w" when your mouse was hovering over the
suitable menu item. Go back to that menu, "rehover" and press another
key (preferably for you with some Ctrl or Alt :)

Bests

Jacek

2016-02-01 10:27 GMT+01:00 Ilmārs Cīrulis <ilmars.cirulis AT gmail.com>:
> Greetings
>
> Every time, when I press "w", it opens Coq manual in the browser. Somehow I
> enabled such behaviour, but I don't know how and don't know how to disable
> it.
> On other Windows computer it's okay, the same on Linux.
>
> So far I use Unicode input of "u0077", but it's only temporary fix.

[Coq-Club] Strange behaviour of CoqIde, Ilmārs Cīrulis, 02/01/2016
- Re: [Coq-Club] Strange behaviour of CoqIde, Jacek Chrząszcz, 02/01/2016
  - Re: [Coq-Club] Strange behaviour of CoqIde, Ilmārs Cīrulis, 02/01/2016