The Coq mailing list

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

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

The numbers don't matter in your case for determining the (forced full
screen) size of your coqide window, but because the numbers are used
for computing the position of the handle, the setting to 2000 (or
maybe 1920 would be enough) indeed solves your pane size issue.

> I'll do these things shortly.

The cause is now clear in your case, no need to bother for an image.

Thanks a lot for explaining your solution!

Hugo