()
| 324 | input.addEventListener("input", reprocess, options); |
| 325 | |
| 326 | function updatePermalink() { |
| 327 | const data = Object.assign({}, options, {code: input.value}); |
| 328 | const encodedData = encodeURIComponent(JSON.stringify(data)); |
| 329 | window.history.replaceState({}, "", `?data=${encodedData}`); |
| 330 | } |
| 331 | |
| 332 | const urlParams = new URLSearchParams(window.location.search); |
| 333 | const data = urlParams.get("data"); |