diff options
| author | Guillaume Melquiond | 2018-10-23 12:05:43 +0200 |
|---|---|---|
| committer | Guillaume Melquiond | 2018-10-23 12:06:11 +0200 |
| commit | b9c503f187ceab7c92ff26a405f3513ebf036080 (patch) | |
| tree | e231897b8f2d63a4b008b68d826ac92724f7d190 | |
| parent | 0a972b941c75bb5e4bde02892e3488c0565a0e39 (diff) | |
Fix issue #8800.
Gtk complains that we are not using gtk_scrolled_window_add_with_viewport,
so let us do.
| -rw-r--r-- | ide/wg_Command.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ide/wg_Command.ml b/ide/wg_Command.ml index 8eddfb3149..f89a5dfca0 100644 --- a/ide/wg_Command.ml +++ b/ide/wg_Command.ml @@ -98,7 +98,7 @@ object(self) ~packing:(vbox#pack ~fill:true ~expand:true) () in let result = Wg_MessageView.message_view () in router#register_route route_id result; - r_bin#add (result :> GObj.widget); + r_bin#add_with_viewport (result :> GObj.widget); views <- (frame#coerce, result, combo#entry) :: views; let cb clr = result#misc#modify_base [`NORMAL, `NAME clr] in let _ = background_color#connect#changed ~callback:cb in |