coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] CoqIDE upgrade on macOS caused a keyboard binding problem

From: Miikka Koskinen <miikka.koskinen AT iki.fi>
To: coq-club AT inria.fr
Subject: [Coq-Club] CoqIDE upgrade on macOS caused a keyboard binding problem
Date: Fri, 21 Apr 2017 19:24:52 +0300
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=miikka.ilmari.koskinen AT gmail.com; spf=Pass smtp.mailfrom=miikka.ilmari.koskinen AT gmail.com; spf=None smtp.helo=postmaster AT mail-yb0-f180.google.com
Ironport-phdr: 9a23:dow++R+g9EPVWP9uRHKM819IXTAuvvDOBiVQ1KB40OgcTK2v8tzYMVDF4r011RmSDNmds6oMotGVmpioYXYH75eFvSJKW713fDhBt/8rmRc9CtWOE0zxIa2iRSU7GMNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp1Ifn+FpLPg8it2e2//5Lebx9UiDahfLh/MAi4oQLNu8cMnIBsMLwxyhzHontJf+RZ22ZlLk+Nkhj/+8m94odt/zxftPw9+cFAV776f7kjQrxDEDsmKWE169b1uhTFUACC+2ETUmQSkhpPHgjF8BT3VYr/vyfmquZw3jSRMMvrRr42RDui9b9mRh/mhikEKjA37n3Yh9dqg65Huh+svQBzz5LWbYyTKfFwfrndfdQfRWdZWchRVi1BAoC/b4QVEuEPOOFYr5L+p1sPqxuxGw+sD/7oxz9Nh3/23K460+c7Hg3c3wwgGMkOsHfVrNXzKqgSV/u4zKjLzTXCdf9W1zb95ZHOfxs8ov+MRap9fdTNxUQrDQ/IjVWdpZb7Mz+I2OkBqXWX4ul8We+plmUpsRt+oiK1yccpkoTJhpwaylTD9ShhxYY6P9y4SEpibd+kC5RcqziWN4VrTs4hX21koik6yroBuZ60eCgF1o4ryALYa/yCa4SI4xTjW/iNITpgmn5pZLayiwyx/EWg0OHwSNS43VhQoiZYkdTAqmgB1xnJ5ciGTvt98F2h2TGK1w3L7+FEIEE0lanYK5E72LIwl54TsUHZES/smUX6lqyWdkI/+uir6uTnZKvpppmHOo97jwHxKKUumsilDeskNQgOWnCX+f6g27374U35XLJKg+UqnaneqZDWPNgUpqqkAwBOyYsj8Ba+DzK+0NsCh3UHLVRFeAiGj4fzIV3OLur4Xr+DhAGnly4uzPTbNJXgBI/MJz7NiuTPZ7F4vmtdyQkwxJh84IlXC7cMJrqnX07wt9/RSBw+KA+1xevhINR+18UQWDTcUeeiLKrOvArQtaoUKO6WadpNtQ==

Dear Coq Club,

I just upgraded from CoqIDE 8.5pl1 to 8.6 on macOS Sierra and something went wrong. I managed to solve the problem, but since I couldn't find anything by googling, I'll post this here. Hopefully the next person having the same problem finds this.

Problem:

Pressing keys without any modifiers triggered shortcuts. For example, pressing `s` ran `simpl` and pressing `d` inserted a template for Definition. This means I was unable to type practically anything in the editor. I went back to 8.5pl1 but now it had the same problem!

Solution:

Close CoqIDE, move away (or remove) the CoqIDE configuration files in ~/Library/Application Support/coq and start CoqIDE again. You'll have to redo the configuration, but at least the editor works again.

Best regards,

Miikka Koskinen

[Coq-Club] CoqIDE upgrade on macOS caused a keyboard binding problem, Miikka Koskinen, 04/21/2017