gpuikit 0.9.0

A UI toolkit for GPUI applications
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63

/*
 * Cross-origin isolation on hosts that cannot set response headers.
 *
 * gpui's web platform runs its background executor on web workers over a
 * shared wasm memory, and SharedArrayBuffer is only available when the page
 * is cross-origin isolated (COOP + COEP response headers). GitHub Pages
 * cannot send custom headers, so this file does double duty:
 *
 *  - loaded as a page <script>, it registers itself as a service worker and
 *    reloads the page once so the worker takes control;
 *  - running as that service worker, it re-serves every same-scope fetch
 *    with the two isolation headers attached.
 *
 * It is a no-op wherever real headers already exist (e.g. `trunk serve`,
 * which sends them itself — see trunk.toml).
 */

if (typeof window !== "undefined") {
    // Page context.
    if (!window.crossOriginIsolated && "serviceWorker" in navigator) {
        const swUrl = document.currentScript.src;
        navigator.serviceWorker
            .register(swUrl)
            .then(() => {
                if (navigator.serviceWorker.controller) return;
                // First visit: reload once the worker has claimed the page so
                // the app boots with SharedArrayBuffer available.
                navigator.serviceWorker.addEventListener(
                    "controllerchange",
                    () => window.location.reload(),
                    { once: true },
                );
            })
            .catch((err) =>
                console.error("coi-serviceworker: registration failed", err),
            );
    }
} else {
    // Service-worker context.
    self.addEventListener("install", () => self.skipWaiting());
    self.addEventListener("activate", (event) =>
        event.waitUntil(self.clients.claim()),
    );
    self.addEventListener("fetch", (event) => {
        const request = event.request;
        if (request.cache === "only-if-cached" && request.mode !== "same-origin") {
            return;
        }
        event.respondWith(
            fetch(request).then((response) => {
                if (response.status === 0) return response;
                const headers = new Headers(response.headers);
                headers.set("Cross-Origin-Embedder-Policy", "require-corp");
                headers.set("Cross-Origin-Opener-Policy", "same-origin");
                return new Response(response.body, {
                    status: response.status,
                    statusText: response.statusText,
                    headers,
                });
            }),
        );
    });
}