Caching service worker

[martinRenou]

References

Port changes from #137 into the new service worker

Closes #137

Code changes

Add caching logic to the service worker, for offline support.

[github-actions]

👈 Try it on ReadTheDocs

[martinRenou]

For some reason my browser is not able to find the manifest on my PR Works now! I was missing manifest links in the HTML

[jtpio]

Showing up nicely with Chromium 103:

[martinRenou]

Once installed it shows up nicely in the Gnome UI:

litedesktop.mp4

[bollwyvl]

Are the multiple manifests, etc. necessary? Could we do it with a single root-level one some kind of preference for which UI? shortcuts?

If it does need to be that way: is repl going to get one as well? It seems like a pretty big win for certain situations, though I don't know how it would play vs being embedded within a larger application: frankly seems like a pretty useful function for a sphinx theme to have, anyway.

[martinRenou]

Could we do it with a single root-level one some kind of preference for which UI? shortcuts?

Oh I didn't know about shortcuts, sweet! I'll try that.

[martinRenou]

I was thinking maybe the retro one doesn't make sense anyway? Because it's not single page, or maybe there is a feature to keep open tabs in the same window?

[martinRenou]

Unfortunately there doesn't seem to be a way to make tabbed applications for now. w3c/manifest#737 might be the right issue for that. So an app for retrolab might not really be possible. Well it's possible but it's not nice, when opening a Notebook from the tree, it opens the tab in the browser, not in the "app".

[martinRenou]

Here with shortcuts:

apps.mp4

looks quite nice :D (the screen recording was a bit laggy but it works nicely)

[jtpio]

Just tried again with the latest after uninstalling the previous app, and this time the icon does not seem to be displayed in the Gnome launcher:

[martinRenou]

That's odd, I can still see it:

[jtpio]

OK I just reinstalled it and restarted the Gnome Shell and it is showing up correctly now:

[jtpio]

It's also cool to see many resources served from the ServiceWorker, for example when starting a new kernel:

[jtpio]

Thanks!

[eugene-f02]

@jtpio @martinRenou Is there a way to configure jlite to disable ServiceWorker altogether or to disable it for requests made to certain domains? I have a custom extension that makes requests to external service to fetch some data and I don't want it to be cached