From fa48fc19055476c1a6b018e7954fd9fd0326de25 Mon Sep 17 00:00:00 2001
From: Paul Spencer <paul@pagameba.com>
Date: Tue, 3 Sep 2013 07:54:20 -0400
Subject: [PATCH] Link to HTML5 Geolocation PositionOptions docs

---
 src/ol/geolocation.js | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/src/ol/geolocation.js b/src/ol/geolocation.js
index edb908082e..0c64c7b20d 100644
--- a/src/ol/geolocation.js
+++ b/src/ol/geolocation.js
@@ -295,7 +295,9 @@ goog.exportProperty(
 
 /**
  * Get the tracking options.
- * @return {GeolocationPositionOptions|undefined} Tracking options.
+ * @see http://www.w3.org/TR/geolocation-API/#position-options
+ * @return {GeolocationPositionOptions|undefined} HTML 5 Gelocation
+ * tracking options.
  */
 ol.Geolocation.prototype.getTrackingOptions = function() {
   return /** @type {GeolocationPositionOptions|undefined} */ (
@@ -335,7 +337,9 @@ goog.exportProperty(
 
 /**
  * Set the tracking options.
- * @param {GeolocationPositionOptions} options Tracking options.
+ * @see http://www.w3.org/TR/geolocation-API/#position-options
+ * @param {GeolocationPositionOptions} options HTML 5 Geolocation
+ * tracking options.
  */
 ol.Geolocation.prototype.setTrackingOptions = function(options) {
   this.set(ol.GeolocationProperty.TRACKING_OPTIONS, options);