diff options
author | Adrien Nader <adrien@notk.org> | 2016-10-23 12:43:14 +0200 |
---|---|---|
committer | Adrien Nader <adrien@notk.org> | 2016-10-23 12:43:14 +0200 |
commit | f8f8aafc3dc6b4ca7171d6b77adccb8da1f37a95 (patch) | |
tree | dcecd61f390d139d8d57e05db6a6d500d6f029e3 | |
parent | 15f99bc4a03a469c54abb2edfe42ed316da11553 (diff) |
GUI_Settings: don't expand vertically the check report elementary frames.
-rw-r--r-- | src/yypkg/gui/GUI_Settings.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/yypkg/gui/GUI_Settings.ml b/src/yypkg/gui/GUI_Settings.ml index 24520ff..1206ccb 100644 --- a/src/yypkg/gui/GUI_Settings.ml +++ b/src/yypkg/gui/GUI_Settings.ml @@ -85,7 +85,7 @@ end = struct Elm_object.(part_text_set label ((part_text_get label ()) ^ "<br>" ^ text)); t with Not_found -> - let frame = Elm_frame.addx t.box ~box:t.box ~text:title in + let frame = Elm_frame.addx t.box ~size_hint:[ `vexpand; `hfill; `valign 0. ] ~box:t.box ~text:title in let label = Elm_label.addx frame ~content_of:frame ~text in { t with labels = (title, label) :: t.labels } |