diff --git a/sw/ground_segment/cockpit/live.ml b/sw/ground_segment/cockpit/live.ml index 09f2bb839e..b9ce653672 100644 --- a/sw/ground_segment/cockpit/live.ml +++ b/sw/ground_segment/cockpit/live.ml @@ -1021,7 +1021,7 @@ let listen_flight_params = fun geomap auto_center_new_ac alert alt_graph -> end else if agl > 25. then ac.ground_prox <- false; try - draw_altgraph alt_graph geomap aircrafts; + draw_altgraph alt_graph geomap aircrafts with _ -> () in @@ -1178,7 +1178,7 @@ let listen_waypoint_moved = fun () -> try let w = ac.fp_group#get_wp wp_id in - w#set ~if_not_moved:true ~altitude ~update:true geo + w#set ~altitude ~update:true geo with Not_found -> () (* Silently ignore unknown waypoints *) in diff --git a/sw/ground_segment/cockpit/live.mli b/sw/ground_segment/cockpit/live.mli index 1782911140..228d197aff 100644 --- a/sw/ground_segment/cockpit/live.mli +++ b/sw/ground_segment/cockpit/live.mli @@ -71,7 +71,7 @@ val track_size : int ref (** Default length for A/C tracks on the 2D view *) val listen_acs_and_msgs : MapCanvas.widget -> GPack.notebook -> Pages.alert -> bool -> Gtk_tools.pixmap_in_drawin_area -> unit -(** [listen_acs_and_msgs geomap aircraft_notebook alert_page auto_center_new_ac] *) +(** [listen_acs_and_msgs geomap aircraft_notebook alert_page auto_center_new_ac alt_graph] *) val jump_to_block : string -> int -> unit (** [jump_to_block ac_id block_id] Sends a JUMP_TO_BLOCK message *) diff --git a/sw/lib/ocaml/mapWaypoints.ml b/sw/lib/ocaml/mapWaypoints.ml index 9b0da93865..e6c874de84 100644 --- a/sw/lib/ocaml/mapWaypoints.ml +++ b/sw/lib/ocaml/mapWaypoints.ml @@ -29,7 +29,6 @@ open Printf open LL let s = 6. -let losange = [|s;0.; 0.;s; -.s;0.; 0.;-.s|] class group = fun ?(color="red") ?(editable=true) ?(show_moved=false) (geomap:MapCanvas.widget) -> let g = GnoCanvas.group geomap#canvas#root in @@ -259,7 +258,7 @@ class waypoint = fun ?(show = true) (wpts_group:group) (name :string) ?(alt=0.) method deleted = deleted method item = item method pos = geomap#of_world self#xy - method set ?(if_not_moved = false) ?altitude ?(update=false) wgs84 = + method set ?altitude ?(update=false) wgs84 = let (xw, yw) = geomap#world_of wgs84 and (xw0, yw0) = self#xy and z = geomap#zoom_adj#value in @@ -278,7 +277,7 @@ class waypoint = fun ?(show = true) (wpts_group:group) (name :string) ?(alt=0.) alt <- alt+.dz; if update then updated () | (None, false) | (Some _, true) -> () - | Some x, false -> self#reset_moved () + | Some _, false -> self#reset_moved () method delete () = deleted <- true; (* BOF *) wpt_group#destroy () diff --git a/sw/lib/ocaml/mapWaypoints.mli b/sw/lib/ocaml/mapWaypoints.mli index 248e8c7eb7..81d0b18825 100644 --- a/sw/lib/ocaml/mapWaypoints.mli +++ b/sw/lib/ocaml/mapWaypoints.mli @@ -53,7 +53,7 @@ class waypoint : method label : GnoCanvas.text method move : float -> float -> unit method name : string - method set : ?if_not_moved:bool -> ?altitude:float -> ?update:bool -> Latlong.geographic -> unit + method set : ?altitude:float -> ?update:bool -> Latlong.geographic -> unit method set_name : string -> unit method xy : float * float method zoom : float -> unit