From a68bc1f4211f089f6030bf44d3f5df88db170c18 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Thu, 22 Nov 2018 03:47:26 +0100
Subject: CoqIDE: Ensure that the main 3 windows do not shrink when w/o
 contents.

This was automatic in gtk2 (apparently because of the specification
not being granted). This is needed with gtk3.
---
 ide/session.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'ide')

diff --git a/ide/session.ml b/ide/session.ml
index b7f98f3d79..22aaef399d 100644
--- a/ide/session.ml
+++ b/ide/session.ml
@@ -442,11 +442,11 @@ let build_layout (sn:session) =
   let eval_paned = GPack.paned `HORIZONTAL ~border_width:5
     ~packing:(session_box#pack ~expand:true) () in
   let script_frame = GBin.frame ~shadow_type:`IN
-    ~packing:eval_paned#add1 () in
+    ~packing:(eval_paned#pack1 ~shrink:false) () in
   let script_scroll = GBin.scrolled_window
     ~vpolicy:`AUTOMATIC ~hpolicy:`AUTOMATIC ~packing:script_frame#add () in
   let state_paned = GPack.paned `VERTICAL
-    ~packing:eval_paned#add2 () in
+    ~packing:(eval_paned#pack2 ~shrink:false) () in
 
   (* Proof buffer. *)
 
-- 
cgit v1.2.3