CoqIDE: Ensure that contents of the pref window expands as much as possible.

This was not needed in gtk2 but is needed with gtk3.

1 files changed, 1 insertions, 1 deletions

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;