From 97c3ffd0403faaa218c46b07ef7065f5ffd2c6c5 Mon Sep 17 00:00:00 2001
From: Zenon Mousmoulas <zmousm@noc.grnet.gr>
Date: Wed, 18 Nov 2015 22:30:32 +0200
Subject: [PATCH] Remove obsolete (non-existing?) and default Google maps
 options

---
 static/js/home-page-map.js | 2 --
 static/js/world-map.js     | 2 --
 2 files changed, 4 deletions(-)

diff --git a/static/js/home-page-map.js b/static/js/home-page-map.js
index dd39d7d..d9c56d2 100644
--- a/static/js/home-page-map.js
+++ b/static/js/home-page-map.js
@@ -71,11 +71,9 @@
 			zoom : zoomLevel,
 			mapTypeId : google.maps.MapTypeId.ROADMAP,
 			styles : styleArray,
-			mapTypeId : google.maps.MapTypeId.ROADMAP,
 			mapTypeControlOptions : {
 				style : google.maps.MapTypeControlStyle.DEFAULT
 			},
-			navigationControl : true,
 			mapTypeControl : false,
 			scrollwheel: isScrollable,
 			draggable: isDraggable
diff --git a/static/js/world-map.js b/static/js/world-map.js
index 7465a9d..a24b103 100644
--- a/static/js/world-map.js
+++ b/static/js/world-map.js
@@ -70,11 +70,9 @@
 			zoom : zoomLevel,
 			mapTypeId : google.maps.MapTypeId.ROADMAP,
 			styles : styleArray,
-			mapTypeId : google.maps.MapTypeId.ROADMAP,
 			mapTypeControlOptions : {
 				style : google.maps.MapTypeControlStyle.DEFAULT
 			},
-			navigationControl : true,
 			mapTypeControl : false,
 			scrollwheel: isScrollable,
 			draggable: isDraggable
-- 
GitLab