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

[gcs] minor change on load tile text

Browse Source
This commit is contained in:
Felix Ruess
2013-03-23 19:25:48 +01:00
parent d9f86b8051
commit b278f9b064
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/gcs.ml
+1 -1
View File
@@ -287,7 +287,7 @@ let button_press = fun (geomap:G.widget) ev ->
(`I ("Load BDORTHO", display_bdortho geomap wgs84))::m
else
m in
GToolbox.popup_menu ~entries:([`I ("Load Google tile", display_gm)]@m)
GToolbox.popup_menu ~entries:([`I ("Load background tile", display_gm)]@m)
~button:3 ~time:(Int32.of_int 0);
true
end else if GdkEvent.Button.button ev = 1 && Gdk.Convert.test_modifier `CONTROL state then