3a951b387a
- dataset-picker.js writes a compact query string (?ds=&n=&f=&j= plus intro=1/picker=0 when non-default) on every change and reads it on init. Refresh restores the page; the URL also works as a shareable deep-link. - To avoid a first-paint flicker of the <details> elements, the index route pre-resolves intro_open / picker_open from the query and renders the <details open> attribute accordingly. |
||
|---|---|---|
| .. | ||
| compare-select.js | ||
| compare.js | ||
| dataset-picker.js | ||
| metrics.js | ||
| panel-grid.js | ||
| run-modal.js | ||
| runs-filter.js | ||
| style.css | ||
| theme.js | ||