Link to HTML5 Geolocation PositionOptions docs

This commit is contained in:
Paul Spencer
2013-09-03 07:54:20 -04:00
parent 85509e1a40
commit fa48fc1905

View File

@@ -295,7 +295,9 @@ goog.exportProperty(
/** /**
* Get the tracking options. * 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() { ol.Geolocation.prototype.getTrackingOptions = function() {
return /** @type {GeolocationPositionOptions|undefined} */ ( return /** @type {GeolocationPositionOptions|undefined} */ (
@@ -335,7 +337,9 @@ goog.exportProperty(
/** /**
* Set the tracking options. * 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) { ol.Geolocation.prototype.setTrackingOptions = function(options) {
this.set(ol.GeolocationProperty.TRACKING_OPTIONS, options); this.set(ol.GeolocationProperty.TRACKING_OPTIONS, options);