double click on namespace only working in firefox

[Former user]

Chrome 56: not working

Internet Explorer 11: not working

Firefox 51.01: working

replacing

window.location = url.replace(_HREF, jQuery(this).find("a").attr("href"));

with

window.location.replace(jQuery(this).find("a").attr("href"));

in script.js seems to fix it

[D. C. Stoyanov]

fixed issue #3

→ <<cset 35fffb232d8b>>