coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] coqide 8.10

From: Ian Zimmerman <itz AT very.loosely.org>
To: coq-club AT inria.fr
Cc: Robbert Krebbers <mailinglists AT robbertkrebbers.nl>
Subject: Re: [Coq-Club] coqide 8.10
Date: Sat, 26 Oct 2019 10:31:36 -0700
Authentication-results: mail2-smtp-roc.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:r+gg1xH+j53urIIchWySc51GYnF86YWxBRYc798ds5kLTJ7zpcuwAkXT6L1XgUPTWs2DsrQY0rGQ4v2rADVcqb+681k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRoLerpBIHSk9631+ev8JHPfglEnjWwba58IRmsqQjctsYajZZ/Jqs+1xDEvmZGd+NKyG1yOFmdhQz85sC+/J5i9yRfpfcs/NNeXKv5Yqo1U6VWACwpPG4p6sLrswLDTRaU6XsHTmoWiBtIDBPb4xz8Q5z8rzH1tut52CmdIM32UbU5Uims4qt3VBPljjoMODkk/mHKkcxwlLxUrw69pxJxxI7UZZuaNPt4fqjAed8XSm5MUsNXWidcAI2zcpEPAvIPM+hYsYfzulgArRWxCgawGezgyDFHi2Tq3aEmyektDR3K0RY+E98IrX/arM/1NKAXUe2tz6fH1zPDZO5V1jf87YjIdw4uoeuJXb1qd8ra1E4iFwLZjlSRsoHlIS2a1v4NsmSB6+pgUuWvi3U5pAF1ojmj3MAsipPGho8MzF3P6Ct3wIEwJdKiSU57Z8apEJRRtyGGN4t2X9gtT3t0tyY9z70KoZu7fC8NyJQg3RLQd/uHc42O7xn+V+iROS91iG9ndb+xnRq+70itx+3mWsWqzVpHrjBJn9jIu3wV1hHe6NKLRuZ/80quwzqDyQ7e5+9eLUwqiKbWKZgsyaMqmJUJq0TMBCr2lV32jKCIckUk/fCl6/r5bbX8pp6QLYt0igb5MqQ1hMO/BeQ5PhIJX2iB9uSwzLzj/UvnT7VWlvA6j6vUvZ7AKcgFpqO0AxVZ3pg+5xu/FTur0dAVkWECLF1feRKHi4bpO0vJIPD9Ffq/gkiskTZwyvDYILLhGJXMImLHkLfmerZ98FBTyA4zzNxF4JJUEL4BLOrpWkDtrNzYEgM5Mwuszun7D9V9z5oSVn6LAq+EK6zfqkSI5+IqI+mUfoAZojf9K/4/5/7vl3A1g1EdfbP6lacQPXu/B7FtJ1iTSXvqmNYIV2kQ7SQkS+m/qVSEGQxSYnO/Rac14HlvCZ60JZnOXJHrhLuGxyq/D9tRfG8QWQPEKmvha4jRA6REUymVOMI0zm1dBOqRDrQ53BTrjzfUjr9uL+7a4Cod7MKxytVv9qvXkhYp+DhlScOH3DPUFj0mriYzXzYzmZtHjwll0F7agfpmjuZJU9hU4OhEVhZ8MoTTnbQjVoLCHznZd9LMc26IB9WrBTZoHoAvzsUfJUJ6HM6vigGF2DClUeYY

On 2019-10-26 11:41, Hugo Herbelin wrote:

> Yes, this is related to the switch to Gtk+3. The event which was used
> in gtk+2 to position the handle between the source pane and the
> goals and messages panes works differently in Gtk+3 and we replaced it
> by a (heuristical) precomputation of the position. Could you post an
> image of what you get at https://github.com/coq/coq/issues/10956,
> indicating also your configuration: platform, window manager (if
> relevant), values of your window height and width in preferences, ...

I'll do these things shortly. But I want to report that I have worked
around it by increasing the "default window width" option, from 800 to
2000. The numbers don't make any sense, I use a tiling window manager
so coqide is always full screen, and my display is 1920 x 1200 pixels.
But somehow it does what I want ...

--
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