diff options
| -rw-r--r-- | ide/configwin_ihm.ml | 2 |
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; |