diff options
| author | Hugo Herbelin | 2018-11-22 03:47:26 +0100 |
|---|---|---|
| committer | Vincent Laporte | 2019-03-19 08:40:20 +0000 |
| commit | a68bc1f4211f089f6030bf44d3f5df88db170c18 (patch) | |
| tree | 2674dbb57dfaa96cec101a53820c567eec44ce5d | |
| parent | 1e6dd0a21569f32a8046bb29400928ef3a6a1fa1 (diff) | |
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.
| -rw-r--r-- | ide/session.ml | 4 |
1 files changed, 2 insertions, 2 deletions
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. *) |