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

add color to sectors

Browse Source
This commit is contained in:
Pascal Brisset
2009-08-30 19:34:32 +00:00
parent 8cd9cc267f
commit 74dc68765b
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
sw/lib/ocaml/mapFP.ml
+2 -1
View File
@@ -272,7 +272,8 @@ class flight_plan = fun ?format_attribs ?editable ~show_moved geomap color fp_dt
geo_of_xml utm0 (float_attr wp) in
let points = List.map wgs84 (Xml.children x) in
let points = Array.of_list points in
display_lines ~group:wpts_group#group color geomap points
let color_sector = ExtXml.attrib_or_default x "color" color in
display_lines ~group:wpts_group#group color_sector geomap points
| _ -> failwith "Unknown sectors child")
(Xml.children (ExtXml.child xml "sectors"))
with Not_found -> () in