From 18c2ffe52265ac04fe5c7d116bdee02a427464d5 Mon Sep 17 00:00:00 2001
From: Mark Prins <mprins@users.sf.net>
Date: Sat, 15 Feb 2014 10:38:14 +0100
Subject: [PATCH] use button elements instead of anchor elements and add
 tooltips to zoomcontrol

---
 css/ol.css                    |  4 ++--
 src/ol/control/zoomcontrol.js | 20 +++++++++++---------
 2 files changed, 13 insertions(+), 11 deletions(-)

diff --git a/css/ol.css b/css/ol.css
index c03177b3f2..15f0533e2f 100644
--- a/css/ol.css
+++ b/css/ol.css
@@ -178,7 +178,7 @@ a.ol-full-screen-true:after {
 }
 
 /* invisible but not hidden */
-.olHasToolTip span, .olHasTooltip_b_r span {
+.olHasToolTip span, .olHasToolTip_b_r span {
   position: absolute;
   clip: rect(1px 1px 1px 1px); /* < IE8 */
   clip: rect(1px, 1px, 1px, 1px);
@@ -193,7 +193,7 @@ a.ol-full-screen-true:after {
 
 /* show a tooltip offset to below and right */
 .olHasToolTip:hover span, .olHasToolTip:focus span ,
-.olHasTooltip_b_r:hover span , .olHasTooltip_b_r:focus span  {
+.olHasToolTip_b_r:hover span , .olHasToolTip_b_r:focus span  {
   clip: auto;
   padding: 3px;
   height: auto;
diff --git a/src/ol/control/zoomcontrol.js b/src/ol/control/zoomcontrol.js
index a28abf61f2..a637a6c7c9 100644
--- a/src/ol/control/zoomcontrol.js
+++ b/src/ol/control/zoomcontrol.js
@@ -38,26 +38,28 @@ ol.control.Zoom = function(opt_options) {
       options.zoomOutLabel : '\u2212';
 
   var tTipZoomIn = goog.dom.createDom(goog.dom.TagName.SPAN, {
-          'class':'', 
-          'role':'tooltip'
-      },"Zoom in");
+    'class': '',
+    'role' : 'tooltip'
+  }, 'Zoom in');
   var inElement = goog.dom.createDom(goog.dom.TagName.BUTTON, {
     'class': className + '-in olHasToolTip',
-    'name' : 'zoomIn'
+    'name' : 'ZoomIn',
+    'type' : 'button'
   }, tTipZoomIn, zoomInLabel);
-  
+
   goog.events.listen(inElement, [
     goog.events.EventType.TOUCHEND,
     goog.events.EventType.CLICK
   ], goog.partial(ol.control.Zoom.prototype.zoomByDelta_, delta), false, this);
 
   var tTipsZoomOut = goog.dom.createDom(goog.dom.TagName.SPAN, {
-          'class':'', 
-          'role':'tooltip'
-      }, "Zoom out");
+    'class': '',
+    'role' : 'tooltip',
+    'type' : 'button'
+  }, 'Zoom out');
   var outElement = goog.dom.createDom(goog.dom.TagName.BUTTON, {
     'class': className + '-out  olHasToolTip',
-    'name' : 'zoomOut'
+    'name' : 'ZoomOut'
   }, tTipsZoomOut, zoomOutLabel);
   goog.events.listen(outElement, [
     goog.events.EventType.TOUCHEND,