coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] coqide 8.10

From: Ian Zimmerman <itz AT very.loosely.org>
To: Coq-Club Mailinglist <coq-club AT inria.fr>
Subject: [Coq-Club] coqide 8.10
Date: Fri, 25 Oct 2019 21:17:01 -0700
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=itz AT very.loosely.org; spf=Pass smtp.mailfrom=itz AT very.loosely.org; spf=Pass smtp.helo=postmaster AT very.loosely.org
Ironport-phdr: 9a23:uSBtXh9YjHUj4P9uRHKM819IXTAuvvDOBiVQ1KB31egcTK2v8tzYMVDF4r011RmVBN6duq4P27KempujcFRI2YyGvnEGfc4EfD4+ouJSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgppPOT1HZPZg9iq2+yo9JDffgtFiCC5bL59Ixm7rhndvdQKjIV/Lao81gHHqWZSdeRMwmNoK1OTnxLi6cq14ZVu7Sdete8/+sBZSan1cLg2QrJeDDQ9LmA6/9brugXZTQuO/XQTTGMbmQdVDgff7RH6WpDxsjbmtud4xSKXM9H6QawyVD+/9KpgVgPmhzkbOD446GHXi9J/jKRHoBK6uhdzx5fYbJyJOPZie6/Qe9QVS3dcXsZKTyxOHJ+zb5cBAeoGOOZXtYj9p10Tphe6CgShAObjxzlVjXH0wKI6yfwsHw/G0gI+AtwAs3vbo8noO6gcSu210LXEwC/fY/9Kwzrx9o7FeQ0hr/GWWrJwdNLcx0o1GAPDk16fqo3lPzaQ1usTqWib6vBvVeSygGMgqgFxvjmuy9wyiobXnIIUykrI9SF+wIYyPt23Vkp7YN6+HJtXrSGaOJJ7T8U/SG9mvyY6z6cJuZ+9fCUSzZQnwBnfa/udf4eU5RLjUeCcKip7inJ9YL+zmhS//Ea6xuHiVsS50ExGojRYntTMrHwA1hje5tCGR/Z/5EutxDSC2g/J5u1aL005m7DXJ4A8zrMykJcYrF7NETXsmErsia+bbkUk9fas6+TgerjmuIGTN5V0iw3kNqQuncu/Af8mPQgKX2mX4+O81Kfs/UHhQbVKiOM5krXBvZzHJ8kWqLS1DxFV34sj8RqzESqq3dQCkXQGKF9JYBeHgJLoO1HKLvD4F/C/g1G0nTdq2/DHP6bsAovTIXjZkLbtZ7J960lbyAoo099f45JVBqsGIPLpVU/9rMbYAQMhMwyo3+bnD81w2Z8ZWWKWG6OWLKfSsUKT6e80OOmNZIoVuC7nJPQ/5v7ui2U5mV4HcqWz05sXciPwIvMzCEKAJFHon91JNG4Lugs4Q+jrk0HKBTVUfjO5W782zjA9EoOvS4nZENODmruEiQayGNVkZ2VDB0qJGHGgI4SYSd8SZTiDZMtmlScJUannTJUug0L9/DTmwqZqe7KHshYTsojugZ0ovrSOxyF3ziR9CoGm60/IT2xwmTpYFSE7xrE5pUt60VqHwO5/mfMKTIUCtcMMaR8zMNvn98I/DtnzXgzbedLQGAS4T8+3RzU2Sck8x85IZFxySYz70kLzmhGyCrpQrISlQYQu+/uMjWb8Pdc7z3HBz6Qlnh8hWMQdbWA=

I just upgraded and I see some annoying changes. I'm not sure if they
are really changes in coqide, or rather consequences of the switch to
Gtk 3.

The most maddening one is that as I open each new file the width of the
source pane shrinks to be something like 75 columns of my font. Is
there a way to stop that? Please?

--
Please don't Cc: me privately on mailing lists and Usenet,
if you also post the followup to the list or newsgroup.
To reply privately _only_ on Usenet and on broken lists
which rewrite From, fetch the TXT record for no-use.mooo.com.

[Coq-Club] coqide 8.10, Ian Zimmerman, 10/26/2019
- Re: [Coq-Club] coqide 8.10, Robbert Krebbers, 10/26/2019
  - Re: [Coq-Club] coqide 8.10, Hugo Herbelin, 10/26/2019
    - Re: [Coq-Club] coqide 8.10, Ian Zimmerman, 10/26/2019
      - Re: [Coq-Club] coqide 8.10, Hugo Herbelin, 10/27/2019