Mirrors_Framework/paparazzi
1
0
Fork 0
mirror of https://github.com/paparazzi/paparazzi.git synced 2026-06-07 17:49:49 +08:00
Code Issues Actions 25 Packages Projects Releases Wiki Activity

warning about scrolled window removed

Browse Source
This commit is contained in:
Pascal Brisset
2007-06-17 10:48:54 +00:00
parent a0d7ebbed3
commit 71a3aac1a1
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
sw/ground_segment/cockpit/pages.ml
+1 -1
View File
@@ -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 = []