The Coq mailing list

[Hugo Herbelin <Hugo.Herbelin AT inria.fr>]

Hi,

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, ...
Thanks in advance.

Best,

Hugo

On Sat, Oct 26, 2019 at 09:45:24AM +0200, Robbert Krebbers wrote:
> 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?
> >