(e)
| 612 | } |
| 613 | |
| 614 | handleEvent(e) { |
| 615 | if (event.target.matches("input[type=radio][name=format]")) { |
| 616 | const url = new URL(window.location); |
| 617 | url.searchParams.set("format", event.target.value); |
| 618 | window.history.replaceState( |
| 619 | { path: url.toString() }, |
| 620 | null, |
| 621 | url.toString(), |
| 622 | ); |
| 623 | } |
| 624 | } |
| 625 | |
| 626 | setValueFromUrl() { |
| 627 | const url = new URL(window.location); |