Deploying to gh-pages from @ 453a567 🚀

p6nj · Jan 9, 2025 · 157645a · 157645a
commit 157645a
Show file tree

Hide file tree

Showing 11 changed files with 1,769 additions and 0 deletions.
diff --git a/assets/icon-1024.png b/assets/icon-1024.png
diff --git a/assets/icon-256.png b/assets/icon-256.png
diff --git a/assets/icon_ios_touch_192.png b/assets/icon_ios_touch_192.png
diff --git a/assets/maskable_icon_x512.png b/assets/maskable_icon_x512.png
diff --git a/favicon.ico b/favicon.ico
diff --git a/graphexpr.js b/graphexpr.js
diff --git a/graphexpr_bg.wasm b/graphexpr_bg.wasm
diff --git a/index.html b/index.html
@@ -0,0 +1,168 @@
+<!doctype html>
+<html>
+    <meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
+
+    <!-- Disable zooming: -->
+    <meta
+        name="viewport"
+        content="width=device-width, initial-scale=1.0, user-scalable=no"
+    />
+
+    <head>
+        <!-- change this to your project name -->
+        <title>GraphExpr</title>
+
+        <!-- config for our rust wasm binary. go to https://trunkrs.dev/assets/#rust for more customization -->
+
+<script type="module" nonce="mFaoR00orH34HTTazBNOKw==">
+import init, * as bindings from 'https://p6nj.github.io/graphexpr/graphexpr.js';
+const wasm = await init({ module_or_path: 'https://p6nj.github.io/graphexpr/graphexpr_bg.wasm' });
+
+
+window.wasmBindings = bindings;
+
+
+dispatchEvent(new CustomEvent("TrunkApplicationStarted", {detail: {wasm}}));
+
+</script>
+        <!-- this is the base url relative to which other urls will be constructed. trunk will insert this from the public-url option -->
+        <base href="https://p6nj.github.io/graphexpr/" />
+
+        <link rel="icon" href="https://p6nj.github.io/graphexpr/favicon.ico" integrity="sha384&#x2D;jNOAE6jgE03LznIulCTVP6BH4NrTuROFjP9wj8bV1UUMJKtZAvstFpIAP3PDcFpx"/>
+
+
+
+
+
+
+
+
+        <link rel="manifest" href="manifest.json" />
+        <link rel="apple-touch-icon" href="assets/icon_ios_touch_192.png" />
+        <meta
+            name="theme-color"
+            media="(prefers-color-scheme: light)"
+            content="white"
+        />
+        <meta
+            name="theme-color"
+            media="(prefers-color-scheme: dark)"
+            content="#404040"
+        />
+
+        <style>
+            html {
+                /* Remove touch delay: */
+                touch-action: manipulation;
+            }
+
+            body {
+                /* Light mode background color for what is not covered by the egui canvas,
+            or where the egui canvas is translucent. */
+                background: #909090;
+            }
+
+            @media (prefers-color-scheme: dark) {
+                body {
+                    /* Dark mode background color for what is not covered by the egui canvas,
+                or where the egui canvas is translucent. */
+                    background: #404040;
+                }
+            }
+
+            /* Allow canvas to fill entire web page: */
+            html,
+            body {
+                overflow: hidden;
+                margin: 0 !important;
+                padding: 0 !important;
+                height: 100%;
+                width: 100%;
+            }
+
+            /* Make canvas fill entire document: */
+            canvas {
+                margin-right: auto;
+                margin-left: auto;
+                display: block;
+                position: absolute;
+                top: 0;
+                left: 0;
+                width: 100%;
+                height: 100%;
+            }
+
+            .centered {
+                margin-right: auto;
+                margin-left: auto;
+                display: block;
+                position: absolute;
+                top: 50%;
+                left: 50%;
+                transform: translate(-50%, -50%);
+                color: #f0f0f0;
+                font-size: 24px;
+                font-family: Ubuntu-Light, Helvetica, sans-serif;
+                text-align: center;
+            }
+
+            /* ---------------------------------------------- */
+            /* Loading animation from https://loading.io/css/ */
+            .lds-dual-ring {
+                display: inline-block;
+                width: 24px;
+                height: 24px;
+            }
+
+            .lds-dual-ring:after {
+                content: " ";
+                display: block;
+                width: 24px;
+                height: 24px;
+                margin: 0px;
+                border-radius: 50%;
+                border: 3px solid #fff;
+                border-color: #fff transparent #fff transparent;
+                animation: lds-dual-ring 1.2s linear infinite;
+            }
+
+            @keyframes lds-dual-ring {
+                0% {
+                    transform: rotate(0deg);
+                }
+
+                100% {
+                    transform: rotate(360deg);
+                }
+            }
+        </style>
+    <link rel="modulepreload" href="https://p6nj.github.io/graphexpr/graphexpr.js" crossorigin=anonymous integrity="sha384-Uz/RSfd+aHSzRd+jVy9EQGFRyofbJY2Ii+iuVsA0/OMiBHyqEaBGvfA9vvRUFbzc"><link rel="modulepreload" href="https://p6nj.github.io/graphexpr/snippets/graphexpr-5393009ee1e6c15f/inline0.js" crossorigin=anonymous integrity="sha384-bSt2GjxUtlFTuk5r9Q6eLxxAW2PPBJF0VsvKVdBE3Co959YbIa/Cu1d1g1XA1CnT"><link rel="preload" href="https://p6nj.github.io/graphexpr/graphexpr_bg.wasm" crossorigin=anonymous integrity="sha384-3ctihwfONPEChHdhxY49u93ru1GPyntD50DqSGT2lD/vTo/LiAiDJqpVsMprZxCt" as="fetch" type="application/wasm"></head>
+
+    <body>
+        <!-- The WASM code will resize the canvas dynamically -->
+        <!-- the id is hardcoded in main.rs . so, make sure both match. -->
+        <canvas id="the_canvas_id"></canvas>
+
+        <!-- the loading spinner will be removed in main.rs -->
+        <div class="centered" id="loading_text">
+            <p style="font-size: 16px">Loading…</p>
+            <div class="lds-dual-ring"></div>
+        </div>
+
+        <!--Register Service Worker. this will cache the wasm / js scripts for offline use (for PWA functionality). -->
+        <!-- Force refresh (Ctrl + F5) to load the latest files instead of cached files  -->
+        <script>
+            // We disable caching during development so that we always view the latest version.
+            if (
+                "serviceWorker" in navigator &&
+                window.location.hash !== "#dev"
+            ) {
+                window.addEventListener("load", function () {
+                    navigator.serviceWorker.register("sw.js");
+                });
+            }
+        </script>
+    </body>
+</html>
+
+<!-- Powered by egui: https://github.com/emilk/egui/ -->
diff --git a/manifest.json b/manifest.json
@@ -0,0 +1,28 @@
+{
+  "name": "egui Template PWA",
+  "short_name": "egui-template-pwa",
+  "icons": [
+    {
+      "src": "./assets/icon-256.png",
+      "sizes": "256x256",
+      "type": "image/png"
+    },
+    {
+      "src": "./assets/maskable_icon_x512.png",
+      "sizes": "512x512",
+      "type": "image/png",
+      "purpose": "any maskable"
+    },
+    {
+      "src": "./assets/icon-1024.png",
+      "sizes": "1024x1024",
+      "type": "image/png"
+    }
+  ],
+  "lang": "en-US",
+  "id": "/index.html",
+  "start_url": "./index.html",
+  "display": "standalone",
+  "background_color": "white",
+  "theme_color": "white"
+}
diff --git a/snippets/graphexpr-5393009ee1e6c15f/inline0.js b/snippets/graphexpr-5393009ee1e6c15f/inline0.js
diff --git a/sw.js b/sw.js
@@ -0,0 +1,25 @@
+var cacheName = "egui-template-pwa";
+var filesToCache = [
+  "./",
+  "./index.html",
+  "./graphexpr.js",
+  "./graphexpr_bg.wasm",
+];
+
+/* Start the service worker and cache all of the app's content */
+self.addEventListener("install", function (e) {
+  e.waitUntil(
+    caches.open(cacheName).then(function (cache) {
+      return cache.addAll(filesToCache);
+    }),
+  );
+});
+
+/* Serve cached content when offline */
+self.addEventListener("fetch", function (e) {
+  e.respondWith(
+    caches.match(e.request).then(function (response) {
+      return response || fetch(e.request);
+    }),
+  );
+});