From b278f9b064cd09d423dfa14886d84c8939e7c202 Mon Sep 17 00:00:00 2001 From: Felix Ruess Date: Sat, 23 Mar 2013 19:25:48 +0100 Subject: [PATCH] [gcs] minor change on load tile text --- sw/ground_segment/cockpit/gcs.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/sw/ground_segment/cockpit/gcs.ml b/sw/ground_segment/cockpit/gcs.ml index 4ef18fbaeac..7714c423038 100644 --- a/sw/ground_segment/cockpit/gcs.ml +++ b/sw/ground_segment/cockpit/gcs.ml @@ -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