(no title)
debazel | 2 months ago
The code isn't minified so you can see how they do it by looking at the `doHighlight()` function here https://arborium.bearcove.eu/pkg/app.generated.js
debazel | 2 months ago
The code isn't minified so you can see how they do it by looking at the `doHighlight()` function here https://arborium.bearcove.eu/pkg/app.generated.js
mg|2 months ago
Hmm .. and the approach already shows its weaknesses when I play with it: When I search for something on the page, it gives me twice as many hits as there are. And jumps around two times to each hit when I use the "next" button.
I wonder if that is fixable.
debazel|2 months ago
https://developer.mozilla.org/en-US/docs/Web/HTML/Reference/...
knallfrosch|2 months ago
https://developer.mozilla.org/en-US/docs/Web/API/Highlight
All the trickery vanishes and you get first-class CSS support.
fsfod|2 months ago
https://github.blog/engineering/architecture-optimization/cr...