From 8d3b4d4da1da72e91f54ca756fa197462ed65fb0 Mon Sep 17 00:00:00 2001
From: Nick Foster <nick@ettus.com>
Date: Mon, 22 Jul 2013 21:19:40 -0700
Subject: [PATCH] Well, that was easy. Map markers have labels. Will probably
 change marker style.

---
 python/html_template.py | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/python/html_template.py b/python/html_template.py
index 9b789b6..da0a2e0 100644
--- a/python/html_template.py
+++ b/python/html_template.py
@@ -27,6 +27,8 @@ def html_template(my_position, json_file):
         </style>
         <script type="text/javascript" src="http://maps.google.com/maps/api/js?sensor=false">
         </script>
+        <script type="text/javascript" src="http://google-maps-utility-library-v3.googlecode.com/svn/tags/markerwithlabel/1.1.9/src/markerwithlabel.js">
+        </script>
         <script type="text/javascript">
             var map;
             var markers = [];
@@ -92,13 +94,12 @@ def html_template(my_position, json_file):
                         map: map,
                         position: airplanes[airplane].center,
                         icon: plane_icon,
-                        //label content meaningless unless you use the MarkerWithLabel class from the Maps Utility Library
                         labelContent: identstr,
                         labelAnchor: new google.maps.Point(64, 0),
                         labelClass: "labels",
                         labelStyle: {opacity: 0.75}
                     };
-                    planeMarker = new google.maps.Marker(planeOptions);
+                    planeMarker = new MarkerWithLabel(planeOptions);
                     planes.push(planeMarker);
                 };
             };