diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2022-12-24 15:24:34 +0100 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2022-12-24 15:26:40 +0100 |
| commit | 6622be235286747f787001e56dd483e79f319190 (patch) | |
| tree | 6f9055d82d9b727300216002fa642bf5819e22b6 /assets/js/theme-switcher.js | |
| parent | 350b2dfbe22bea82ca2d5739d5aebbf9277fe7b7 (diff) | |
Reduce page weight by simplifying line number anchors.
For large issues with many lines the DOM becomes littered with anchors
that slow down rendering significantly. Dropping the anchor tags cuts
the page size in half and speeds up rendering. We can still address
lines by their identifiers, but to act on clicks we need a little bit
of JavaScript.
Diffstat (limited to 'assets/js/theme-switcher.js')
0 files changed, 0 insertions, 0 deletions