coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Strange behaviour of CoqIde

From: Jacek Chrząszcz <chrzaszcz AT mimuw.edu.pl>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Strange behaviour of CoqIde
Date: Mon, 1 Feb 2016 10:49:32 +0100
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=chrzaszc AT gmail.com; spf=Pass smtp.mailfrom=chrzaszc AT gmail.com; spf=None smtp.helo=postmaster AT mail-oi0-f46.google.com
Ironport-phdr: 9a23:f1O9iBwtuDYGqQjXCy+O+j09IxM/srCxBDY+r6Qd0e4VIJqq85mqBkHD//Il1AaPBtWEraoVwLCG6+jJYi8p39WoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6kO74TNaIBjjLw09fr2zQd6NyZzmnLrio9X6WEZhunmUWftKNhK4rAHc5IE9oLBJDeIP8CbPuWZCYO9MxGlldhq5lhf44dqsrtY4q3wD86Fpy8kVWqLjOq88ULZwDTI8Mmlz6te4mwPESF6t73ARUVI9kgBaqBPX5wOyCpzxqDnzrfh2ygGfPMjrUvY5VSnk96M9G0ygszsOKzNsqDKfscd3lq8O+B8=

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