coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] coqide 8.10

From: Robbert Krebbers <mailinglists AT robbertkrebbers.nl>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] coqide 8.10
Date: Sat, 26 Oct 2019 09:45:24 +0200
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=mailinglists AT robbertkrebbers.nl; spf=Pass smtp.mailfrom=mailinglists AT robbertkrebbers.nl; spf=None smtp.helo=postmaster AT filter03.hostcontrol.com
Ironport-phdr: 9a23:aFc0ihV1tshKRUxc4rbEp/1+KRrV8LGtZVwlr6E/grcLSJyIuqrYbBePt8tkgFKBZ4jH8fUM07OQ7/m7Hz1cqs/b6jgrS99lb1c9k8IYnggtUoauKHbQC7rUVRE8B9lIT1R//nu2YgB/Ecf6YEDO8DXptWZBUhrwOhBoKevrB4Xck9q41/yo+53Ufg5EmCexbal9IRmrowjdrM0bjIRtJqos1BfFvGZDdvhLy29vOV+dhQv36N2q/J5k/SRQuvYh+NBFXK7nYak2TqFWASo/PWwt68LlqRfMTQ2U5nsBSWoWiQZHAxLE7B7hQJj8tDbxu/dn1ymbOc32Sq00WSin4qx2RhLklDsLOjgk+2zRl8d+jr9UoAi5qhJi3YDUboGbOvlwcKzTctwVR3ZOUMlQVyFaHoOxbZECA/YdMetWrYTwoUYFoxukBQmrAePi0iNGhnjt0qIhzeshCx3G1xElEdIUrnvbt876O7kIUeCu0aLFyjDDYOlX2Tf56YjIdB8hofWNXbJrbcrR0lIiFxnCjlqLsoPqISmV1vgOs2iB8eVvTvmghHA9qwFquDSvwMMsh5DPi4kIxF7E8iB5z5w0Jd2+UEN7bt+kEIdQtyGHLIR6WN8tQ2ZtuCs817YIuoa7cTAKxZg92hLSa/6Kf5KL7x/iTuqdPzR1iGphdb+wnRq+71Ssx+nmWsS21FtGtDRJnsTIu30Lyhfd8NKISuFn8UekwTuP1x7c6uVDIU0sm6rbKpohwqIumZoJrUjOEDX6mEXxjK+NakUr5u+o6+L7YrX8oZ+cM5V4hR35MqQrgsC/AOI4PRYSX2WD+emwzqDv8E37TblQjfA7k7PVvI7ZKMgDo662GQ5V0oIt6xalCDem1cwVnXwdI1JEfBKHjo7pO17KIPD5Fve/n0+snSxxx/DBJbLuGYvCLmLfkLfiZ7Zy9VVTxxEtwtBF/JJYELcBIPbrVk/rqNPYFgM5MxCzw+v/FNp90ZoeVXuTDa+dLaPdqkSF5vkvIumJfI8aoizxK/kj5/70jH82g0URfaez3chfVHftFfN/Zk6dfHDEg9EbEG5MsBBtYvbtjQi4VjRZamyuF4Em6zsxBZi9RdPGT4GpgbqO2CagAoZ+fGdMAF2WDXTyeo+OVu0XLiSWdJwy2gcYXKSsHtdynSqlsxX3nuI+crjkvxYAvJem7+BbovXJnEtqpyZzBc6QyX2OVWx+lG4SXHkw2PIn+BEv+hK4yaF9xsdgO5lT6vdOCFloO5/Y0+FgU4u0WgXaYtyOTkq8RdHgCjY0HIpoko0+Jn1lEtDntSjtmi+jArsbjbuOXsRm6KXW1XXrO8VnxnzM2bM6yV8iEJJC

This sounds like the same issue as https://github.com/coq/coq/issues/10956

On 26/10/2019 06.17, Ian Zimmerman wrote:

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?

[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