From 71a3aac1a1600d30e80233d5a56c5ed7d3eca659 Mon Sep 17 00:00:00 2001 From: Pascal Brisset Date: Sun, 17 Jun 2007 10:48:54 +0000 Subject: [PATCH] warning about scrolled window removed --- sw/ground_segment/cockpit/pages.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/sw/ground_segment/cockpit/pages.ml b/sw/ground_segment/cockpit/pages.ml index a7add23872..3450212cd2 100644 --- a/sw/ground_segment/cockpit/pages.ml +++ b/sw/ground_segment/cockpit/pages.ml @@ -112,7 +112,7 @@ end class gps ?(visible = fun _ -> true) (widget: GBin.frame) = let sw = GBin.scrolled_window ~hpolicy:`AUTOMATIC ~vpolicy:`AUTOMATIC ~packing:widget#add () in - let da = GMisc.drawing_area ~show:true ~packing:sw#add () in + let da = GMisc.drawing_area ~show:true ~packing:sw#add_with_viewport () in object val mutable active_cno = []