Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Update prefetch spec after whatwg/html#6315. #212

Merged
merged 21 commits into from
Dec 14, 2022
Merged

Update prefetch spec after whatwg/html#6315. #212

Show file tree
Hide file tree
Changes from 9 commits
Commits
Show all changes
21 commits
Select commit Hold shift + click to select a range
46e44c6
partial fix to the prefetch response checks; still needs substantial …
jeremyroman Nov 15, 2022
3ea87dd
resolve a few items
jeremyroman Nov 16, 2022
32e59d4
further tweak prefetch checks
jeremyroman Nov 16, 2022
d784c2e
substantial progress toward refactoring into a create-navigation-para…
jeremyroman Nov 17, 2022
c7dd79a
more stuff around the prefetch serving code
jeremyroman Nov 17, 2022
f404b7a
rewrite the prefetch algorithms
jeremyroman Nov 17, 2022
1ee9c20
Merge branch 'main' into prefetch-6315
jeremyroman Nov 17, 2022
81e7ed4
resolve remaining todos
jeremyroman Nov 17, 2022
d1a3c6d
mark one more section as an algorithm for var-highlighting goodness
jeremyroman Nov 17, 2022
8447ca6
Merge branch 'main' into prefetch-6315
jeremyroman Nov 29, 2022
3867b77
Apply suggestions from code review
jeremyroman Nov 29, 2022
1c5cca2
code review comments
jeremyroman Nov 29, 2022
8b41fff
Merge remote-tracking branch 'origin/prefetch-6315' into prefetch-6315
jeremyroman Nov 29, 2022
e5d499d
Apply suggestions from code review
jeremyroman Nov 29, 2022
9936e2a
Don't use quotation marks for RFC8941 tokens
jeremyroman Nov 29, 2022
4339f12
merge whatwg/html@3769dd0
jeremyroman Nov 29, 2022
2abefe9
Merge branch 'prefetch-6315' of ssh://github.com/jeremyroman/nav-spec…
jeremyroman Nov 29, 2022
dc4a9a5
merge prefetch logic into "create navigation params by fetching"
jeremyroman Dec 7, 2022
e2d0f12
misc comments
jeremyroman Dec 14, 2022
7620724
thread prefetch record as an optional parameter
jeremyroman Dec 14, 2022
788a2c7
roll in two trivial RFC 2119 issues to fix the build
jeremyroman Dec 14, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading