From b9c503f187ceab7c92ff26a405f3513ebf036080 Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond
Date: Tue, 23 Oct 2018 12:05:43 +0200
Subject: Fix issue #8800.

Gtk complains that we are not using gtk_scrolled_window_add_with_viewport,
so let us do.
---
 ide/wg_Command.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
cgit v1.2.3