2025-03-05 13:19:41
— part of check-in
[369cb38315]
on branch wasm-cache-workaround
— Automatically randomize the names of the "pikchr.js" and "pikchr.wasm" files
after "make wasm", to force browser cache reloads.
(user:
drh
size: 97822)
2025-03-06 11:01:19
— part of check-in
[dd20f34950]
on branch trunk
— Work around issues with aggressive caching of pikchr.wasm that were making
it difficult to upgrade. (1) On the /built-in page, allow filenames to have
text of the form -vNNNNNNNN before the file suffix, where N is an arbitrary
digit and there are at least 8 of them. The extra -vNNNNNNNN is removed before
looking up the file. (2) When running "make wasm" modify the generated
scripts to add random -vNNNNNNNN values to key filenames, so that browsers
won't try to use the old names still in cache.
(user:
drh
size: 97822)
2025-03-07 23:19:24
— part of check-in
[459499b0ea]
on branch comment-markdown-links
— Merge the latest trunk enhancements into the comment-markdown-links branch.
(user:
drh
size: 97822)
2025-03-10 10:06:29
— part of check-in
[4850a59591]
on branch bv-infotool
— Merge from trunk.
(user:
brickviking
size: 97822)