init

Unpredictability · Feb 5, 2025 · a97d92c · a97d92c
1 parent f192402
commit a97d92c
Show file tree

Hide file tree

Showing 31 changed files with 2,286 additions and 0 deletions.
diff --git a/.idea/.gitignore b/.idea/.gitignore
diff --git a/.idea/inspectionProfiles/Project_Default.xml b/.idea/inspectionProfiles/Project_Default.xml
diff --git a/.idea/modules.xml b/.idea/modules.xml
diff --git a/.idea/tex2typst-UI.iml b/.idea/tex2typst-UI.iml
diff --git a/.idea/vcs.xml b/.idea/vcs.xml
diff --git a/Cargo.toml b/Cargo.toml
@@ -0,0 +1,40 @@
+[package]
+name = "tex2typst-UI"
+version = "0.1.0"
+authors = ["Jamie <bdmundxyang@gmail.com>"]
+edition = "2021"
+license = "GPL-3.0-or-later"
+repository = "https://github.com/Unpredictability/tex2typst-UI"
+description = "A GUI for tex2typst-rs"
+categories = ["text-processing", "parsing", "mathematics"]
+keywords = ["latex", "tex", "math", "typst", "converting"]
+readme = "README.md"
+
+[dependencies]
+tex2typst-rs = "0.3.1"
+egui = "0.31.0"
+eframe = { version = "0.31", default-features = false, features = [
+    "accesskit", # Make egui compatible with screen readers. NOTE: adds a lot of dependencies.
+    "default_fonts", # Embed the default egui fonts.
+    "glow", # Use the glow rendering backend. Alternative: "wgpu".
+    "persistence", # Enable restoring app state when restarting the app.
+    "wayland", # To support Linux (and CI)
+] }
+log = "0.4.25"
+serde = { version = "1.0.217", features = ["derive"] }
+
+# native:
+[target.'cfg(not(target_arch = "wasm32"))'.dependencies]
+env_logger = "0.11.6"
+
+# web:
+[target.'cfg(target_arch = "wasm32")'.dependencies]
+wasm-bindgen-futures = "0.4.50"
+web-sys = "0.3.77"           # to access the DOM (to hide the loading text)
+
+[profile.release]
+opt-level = 2
+
+# Optimize all dependencies even in debug builds:
+[profile.dev.package."*"]
+opt-level = 2
diff --git a/Trunk.toml b/Trunk.toml
@@ -0,0 +1,2 @@
+[build]
+filehash = false
diff --git a/assets/NotoSansSC-Regular.ttf b/assets/NotoSansSC-Regular.ttf
diff --git a/assets/android-chrome-192x192.png b/assets/android-chrome-192x192.png
diff --git a/assets/android-chrome-512x512.png b/assets/android-chrome-512x512.png
diff --git a/assets/apple-touch-icon.png b/assets/apple-touch-icon.png
diff --git a/assets/favicon-16x16.png b/assets/favicon-16x16.png
diff --git a/assets/favicon-32x32.png b/assets/favicon-32x32.png
diff --git a/assets/favicon.ico b/assets/favicon.ico
diff --git a/assets/manifest.json b/assets/manifest.json
@@ -0,0 +1,38 @@
+{
+  "name": "tex2typst UI PWA",
+  "short_name": "tex2typst-UI-pwa",
+  "icons": [
+    {
+      "src": "./assets/android-chrome-192x192.png",
+      "sizes": "192x192",
+      "type": "image/png"
+    },
+    {
+      "src": "./assets/android-chrome-512x512.png",
+      "sizes": "512x512",
+      "type": "image/png",
+      "purpose": "any maskable"
+    },
+    {
+      "src": "./assets/apple-touch-icon.png",
+      "sizes": "180x180",
+      "type": "image/png"
+    },
+    {
+      "src": "./assets/favicon-16x16.png",
+      "sizes": "16x16",
+      "type": "image/png"
+    },
+    {
+      "src": "./assets/favicon-32x32.png",
+      "sizes": "32x32",
+      "type": "image/png"
+    }
+  ],
+  "lang": "en-US",
+  "id": "/index.html",
+  "start_url": "./index.html",
+  "display": "standalone",
+  "background_color": "white",
+  "theme_color": "white"
+}
diff --git a/assets/sw.js b/assets/sw.js
@@ -0,0 +1,25 @@
+var cacheName = 'tex2typst-UI-pwa';
+var filesToCache = [
+  './',
+  './index.html',
+  './eframe_template.js',
+  './eframe_template_bg.wasm',
+];
+
+/* Start the service worker and cache all 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);
+    })
+  );
+});
diff --git a/dist/assets/NotoSansSC-Regular.ttf b/dist/assets/NotoSansSC-Regular.ttf
diff --git a/dist/assets/android-chrome-192x192.png b/dist/assets/android-chrome-192x192.png
diff --git a/dist/assets/android-chrome-512x512.png b/dist/assets/android-chrome-512x512.png
diff --git a/dist/assets/apple-touch-icon.png b/dist/assets/apple-touch-icon.png
diff --git a/dist/assets/favicon-16x16.png b/dist/assets/favicon-16x16.png
diff --git a/dist/assets/favicon-32x32.png b/dist/assets/favicon-32x32.png
diff --git a/dist/favicon.ico b/dist/favicon.ico
diff --git a/dist/index.html b/dist/index.html
@@ -0,0 +1,159 @@
+<!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>
+    <title>TeX to Typst UI</title>
+
+    <!-- config for our rust wasm binary. go to https://trunkrs.dev/assets/#rust for more customization -->
+
+<script type="module">
+import init, * as bindings from '/tex2typst-UI.js';
+const wasm = await init({ module_or_path: '/tex2typst-UI_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="/" />
+
+    <link rel="icon" href="/favicon.ico" integrity="sha384&#x2D;igWOu8oy7cclmLsxgcSg&#x2B;pzEI7g2f05k0ej2qgEE1AWsLX0Mg2rlDZw8R5i9lqLI"/>
+
+
+
+
+
+
+
+
+
+
+
+
+
+    <link rel="manifest" href="assets/manifest.json">
+    <link rel="apple-touch-icon" href="assets/apple-touch-icon.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="/tex2typst-UI.js" crossorigin="anonymous" integrity="sha384-OJgmMuFIiBjD5HhkGrGdLy1AFUNCSJJ+9zHUFvmYRV9XQE2/IAx7trZ1pIzCMhHz"><link rel="preload" href="/tex2typst-UI_bg.wasm" crossorigin="anonymous" integrity="sha384-eEOfYpiUxCX6cICUlJAF3OB1/KuXFNiCcBeG1evI6aYtG8JFFXl4mcpcXcw3Rz16" 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>
diff --git a/dist/manifest.json b/dist/manifest.json
@@ -0,0 +1,38 @@
+{
+  "name": "tex2typst UI PWA",
+  "short_name": "tex2typst-UI-pwa",
+  "icons": [
+    {
+      "src": "./assets/android-chrome-192x192.png",
+      "sizes": "192x192",
+      "type": "image/png"
+    },
+    {
+      "src": "./assets/android-chrome-512x512.png",
+      "sizes": "512x512",
+      "type": "image/png",
+      "purpose": "any maskable"
+    },
+    {
+      "src": "./assets/apple-touch-icon.png",
+      "sizes": "180x180",
+      "type": "image/png"
+    },
+    {
+      "src": "./assets/favicon-16x16.png",
+      "sizes": "16x16",
+      "type": "image/png"
+    },
+    {
+      "src": "./assets/favicon-32x32.png",
+      "sizes": "32x32",
+      "type": "image/png"
+    }
+  ],
+  "lang": "en-US",
+  "id": "/index.html",
+  "start_url": "./index.html",
+  "display": "standalone",
+  "background_color": "white",
+  "theme_color": "white"
+}