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

page_size set to 0 in adjustments

Browse Source
This commit is contained in:
Pascal Brisset
2009-01-19 13:42:45 +00:00
parent e930a15b87
commit edbbe95282
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
sw/simulator/gaia.ml
+4 -4
View File
@@ -48,10 +48,10 @@ let _ =
let quit = fun () -> GMain.Main.quit (); exit 0 in
ignore (window#connect#destroy ~callback:quit);
let time_scale = GData.adjustment ~value:1. ~lower:(1.) ~upper:10. ~step_incr:1. () in
let wind_dir_adj = GData.adjustment ~value:0. ~lower:(0.) ~upper:369. ~step_incr:1.0 () in
let wind_speed_adj = GData.adjustment ~value:0. ~lower:(0.) ~upper:20. ~step_incr:0.1 () in
let infrared_contrast_adj = GData.adjustment ~value:266. ~lower:(0.) ~upper:1010. ~step_incr:10. () in
let time_scale = GData.adjustment ~page_size:0. ~value:1. ~lower:(1.) ~upper:10. ~step_incr:1. () in
let wind_dir_adj = GData.adjustment ~page_size:0. ~value:0. ~lower:(0.) ~upper:369. ~step_incr:1.0 () in
let wind_speed_adj = GData.adjustment ~page_size:0. ~value:0. ~lower:(0.) ~upper:20. ~step_incr:0.1 () in
let infrared_contrast_adj = GData.adjustment ~page_size:0. ~value:266. ~lower:(0.) ~upper:1010. ~step_incr:10. () in
let gps_sa = GButton.toggle_button ~label:"GPS OFF" () in
let world_values = fun () ->