Skip to content

Commit

Permalink
Update EnhancedSearch.js
Browse files Browse the repository at this point in the history
  • Loading branch information
justins83 authored Apr 9, 2019
1 parent 0d34f9a commit 4376786
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions EnhancedSearch.js
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
// ==UserScript==
// @name WME Enhanced Search
// @namespace https://greasyfork.org/en/users/166843-wazedev
// @version 2019.04.08.01
// @version 2019.04.08.02
// @description Enhances the search box to parse WME PLs and URLs from other maps to move to the location & zoom
// @author WazeDev
// @include https://www.waze.com/editor*
Expand All @@ -27,7 +27,7 @@
(function() {
'use strict';

var updateMessage = "Changed how reading the clipboard worked since the clipboard API was not available in Firefox for scripts.";
var updateMessage = "Venue search by ID (when off screen) now works for ROW and IL.";

var WMEESLayer;
var style = new OL.Style({
Expand Down

0 comments on commit 4376786

Please sign in to comment.