wiki.erg.be/map
1
0
Fork 0
Code Issues 4 Pull Requests Packages Projects Releases Wiki Activity

gitignore

Browse Source
This commit is contained in:
Michael Murtaugh
2019-06-13 11:11:25 +02:00
parent 1785e2da6f
commit 3720e2a283
2 changed files with 4 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
.gitignore vendored Normal file
View File

@@ -0,0 +1,3 @@
package-lock.json
venv/
node_modules/

4
index.html
View File

@@ -198,8 +198,6 @@ custom_scroller_menu(document.scrollingElement, document.getElementById("menubar
return "http://wiki.erg.be/mw/index.php/"+encodeURI(title.replace(/ /g, "_")); return "http://wiki.erg.be/mw/index.php/"+encodeURI(title.replace(/ /g, "_"));
} }
window.addEventListener("DOMContentLoaded", doload); window.addEventListener("DOMContentLoaded", doload);
</script>
<noscript>
iframe.addEventListener("load", function () { iframe.addEventListener("load", function () {
var href = strip_fragment(iframe.contentWindow.location.href); var href = strip_fragment(iframe.contentWindow.location.href);
console.log("iframe loaded", href); console.log("iframe loaded", href);
@@ -234,5 +232,5 @@ custom_scroller_menu(document.scrollingElement, document.getElementById("menubar
// console.log("history", historycb.checked); // console.log("history", historycb.checked);
map.set_show_history(historycb.checked); map.set_show_history(historycb.checked);
}) })
</noscript> </script>
</html> </html>