From 6708e7dd9b259207c613bb08b693d0ee5a1f2f0d Mon Sep 17 00:00:00 2001 From: matthew Date: Fri, 19 Sep 2008 10:24:55 +0000 Subject: Nicer URLs for reports. --- web/js.js | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'web/js.js') diff --git a/web/js.js b/web/js.js index 8a29f34eb..ebe6e86f4 100644 --- a/web/js.js +++ b/web/js.js @@ -26,7 +26,7 @@ function compass_pan(e, a) { YAHOO.util.Event.onContentReady('compass', function() { var ua=navigator.userAgent.toLowerCase(); - if (document.getElementById('mapForm') && (/safari/.test(ua) || /Konqueror/.test(ua))) return; + // if (document.getElementById('mapForm') && (/safari/.test(ua) || /Konqueror/.test(ua))) return; if (document.getElementById('map').offsetWidth > 510) return; var points = this.getElementsByTagName('a'); @@ -43,7 +43,7 @@ YAHOO.util.Event.onContentReady('compass', function() { YAHOO.util.Event.onContentReady('map', function() { var ua=navigator.userAgent.toLowerCase(); - if (document.getElementById('mapForm') && (/safari/.test(ua) || /Konqueror/.test(ua))) return; + // if (document.getElementById('mapForm') && (/safari/.test(ua) || /Konqueror/.test(ua))) return; if (document.getElementById('map').offsetWidth > 510) return; new YAHOO.util.DDMap('map'); -- cgit v1.2.3