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 29 Packages Projects Releases Wiki Activity

warning while loading a map with a different projection

Browse Source
This commit is contained in:
Pascal Brisset
2006-03-21 13:06:38 +00:00
parent 8f3f5ab35d
commit 0942d3db25
1 changed files with 4 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
sw/ground_segment/cockpit/map2d.ml
+4
View File
@@ -95,6 +95,10 @@ let display_map = fun (geomap:G.widget) xml_map ->
let dir = Filename.dirname xml_map in
let xml_map = Xml.parse_file xml_map in
let image = dir // ExtXml.attrib xml_map "file" in
let map_projection = Xml.attrib xml_map "projection" in
let current_projection = geomap#projection in
if map_projection <> current_projection then
GToolbox.message_box "Warning" (sprintf "You are loading a map in %s projection while the display use %s" map_projection current_projection);
let pix_ref = fun p ->
truncate (float_attr p "x"), truncate (float_attr p "y") in