Do not rely on the user settings but on the actual window size. (Fixes #10956)

This should fix the issue when creating new session panes. The initial
session panes, however, might still be wrongly sized, as we do not yet
know, at the time they are created, if the window manager will respect the
user settings fixing the window size.

1 files changed, 2 insertions, 0 deletions

diff --git a/ide/coqide.ml b/ide/coqide.ml
index 70fa61b208..14cd87e7b5 100644
--- a/ide/coqide.ml
+++ b/ide/coqide.ml
@@ -966,6 +966,8 @@ let build_ui () =
     with _ -> ()
   in
   let _ = w#event#connect#delete ~callback:(fun _ -> File.quit ~parent:w (); true) in
+  let _ = w#misc#connect#size_allocate
+            ~callback:(fun rect -> window_size := (rect.Gtk.width, rect.Gtk.height)) in
   let _ = set_drag w#drag in
 
   let vbox = GPack.vbox ~homogeneous:false ~packing:w#add () in