From 4776b11658321209b00b61724cd393a172db618a Mon Sep 17 00:00:00 2001
From: ahocevar <andreas.hocevar@gmail.com>
Date: Thu, 21 Jun 2012 19:39:38 +0200
Subject: [PATCH] Now the map also has overlay divs.

---
 src/ol/Map.js | 12 +++++++-----
 1 file changed, 7 insertions(+), 5 deletions(-)

diff --git a/src/ol/Map.js b/src/ol/Map.js
index 42fa63a119..2f58ca8138 100644
--- a/src/ol/Map.js
+++ b/src/ol/Map.js
@@ -5,6 +5,7 @@ goog.require('ol.Projection');
 goog.require('ol.event');
 goog.require('ol.event.Events');
 goog.require('ol.control.Control');
+goog.require('goog.dom');
 
 
 
@@ -134,7 +135,7 @@ ol.Map.DEFAULT_TILE_SIZE = 256;
   @const
   @type {Array.<string>}
  */
-ol.Map.DEFAULT_CONTROLS = ["Navigation"];
+ol.Map.DEFAULT_CONTROLS = ["navigation"];
 
 /**
  * @return {ol.Loc} Location.
@@ -355,11 +356,12 @@ ol.Map.prototype.setContainer = function(container) {
 
 ol.Map.prototype.setViewport = function() {
     if (!this.viewport_) {
-        this.viewport_ = goog.dom.createDom(
-            'div', 'ol-viewport'
-        );
-        goog.dom.appendChild(this.container_, this.viewport_);
+        this.viewport_ = goog.dom.createDom('div', 'ol-viewport');
+        this.mapOverlay_ = goog.dom.createDom('div', 'ol-overlay-map');
+        this.staticOverlay_ = goog.dom.createDom('div', 'ol-overlay-static');
+        goog.dom.append(this.viewport_, this.mapOverlay_, this.staticOverlay_);
     }
+    goog.dom.appendChild(this.container_, this.viewport_);
 };
 
 /**