From 1e6dd0a21569f32a8046bb29400928ef3a6a1fa1 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Thu, 22 Nov 2018 03:18:57 +0100
Subject: CoqIDE: Ensure that contents of the pref window expands as much as
 possible.

This was not needed in gtk2 but is needed with gtk3.
---
 ide/configwin_ihm.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ide/configwin_ihm.ml b/ide/configwin_ihm.ml
index 9fe3d8bb35..0f3fd38a7a 100644
--- a/ide/configwin_ihm.ml
+++ b/ide/configwin_ihm.ml
@@ -660,7 +660,7 @@ let edit ?(with_apply=true)
   in
   let config_box = new configuration_box conf_struct in
 
-  let _ = dialog#vbox#add config_box#box#coerce in
+  let _ = dialog#vbox#pack ~expand:true config_box#box#coerce in
 
   if with_apply then
     dialog#add_button Configwin_messages.mApply `APPLY;
-- 
cgit v1.2.3