82ee55e · urbit.org · git.iko.soy

git.iko.soy/urbit.org

on master help sign in

Only run event listener on docs pages

82ee55eMatilde Park7 years ago

static/scripts.js+9−9

@@ -324,6 +324,14 @@ if (window.location.href.includes("docs")) {

324 animateFill: false,

325 animation: 'fade'

326 })

327+

328+ let docsSelect = document.getElementById('docsSelect');

329+ let goTo = function() {

330+ let url = docsSelect.options[docsSelect.selectedIndex].value;

331+ document.location.assign(url);

332+ }

333+

334+ docsSelect.addEventListener('change', goTo);

327}

335}

328

336

329// same-page navigation on-scroll behaviour

337// same-page navigation on-scroll behaviour

@@ -384,12 +392,4 @@ window.addEventListener("scroll", event => {

384// }

392// }

385// })

393// })

386//

394//

387−})};

395+})};

388−

389−let docsSelect = document.getElementById('docsSelect');

390−let goTo = function() {

391− let url = docsSelect.options[docsSelect.selectedIndex].value;

392− document.location.assign(url);

393−}

394−

395−docsSelect.addEventListener('change', goTo);