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

remove debug message

Browse Source
This commit is contained in:
Pascal Brisset
2009-08-19 10:30:25 +00:00
parent d66331500b
commit a5e87b83ff
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/page_settings.ml
+1 -1
View File
@@ -111,7 +111,7 @@ let one_setting = fun (i:int) (do_change:int -> float -> unit) packing dl_settin
Not_found -> failwith (sprintf "Internal error: Settings, %s not found" string) in
Gtk_tools.combo_connect combo update_string;
(callback, fun j -> try prerr_endline "ici"; fprintf stderr "j=%f %s%!" j values.(truncate j); Gtk_tools.select_in_combo combo values.(truncate j) with _ -> ())
(callback, fun j -> try Gtk_tools.select_in_combo combo values.(truncate j) with _ -> ())
else (* radio buttons *)
let ilower = truncate lower
and iupper = truncate upper in