diff options
| author | Pierre-Marie Pédrot | 2018-10-26 13:35:55 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2018-10-26 13:35:55 +0200 |
| commit | 48c837a0cd36c32d3149fc680c20c9119c7b13c2 (patch) | |
| tree | b594d521f90a6a434101448cfbf79584cefac415 | |
| parent | 299018a6f14933e120afc579095bc4f7494a0c6b (diff) | |
| parent | b9c503f187ceab7c92ff26a405f3513ebf036080 (diff) | |
Merge PR #8803: Fix issue #8800 (gtk warning about gtk_scrolled_window_add_with_viewport)
| -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 740ab9c873..06281d6287 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 |