168 lines
5.1 KiB
HTML
168 lines
5.1 KiB
HTML
<!DOCTYPE html><html><head><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">
|
|
|
|
|
|
<!-- change this to your project name -->
|
|
<title>fplanner</title>
|
|
|
|
<!-- config for our rust wasm binary. go to https://trunkrs.dev/assets/#rust for more customization -->
|
|
<script type="module">import init from '/fplanner.js';init('/fplanner_bg.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">
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
<link rel="manifest" href="manifest.json">
|
|
<link rel="apple-touch-icon" href="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%;
|
|
}
|
|
|
|
/* Position canvas in center-top: */
|
|
canvas {
|
|
margin-right: auto;
|
|
margin-left: auto;
|
|
display: block;
|
|
position: absolute;
|
|
top: 0%;
|
|
left: 50%;
|
|
transform: translate(-50%, 0%);
|
|
}
|
|
|
|
.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="preload" href="/fplanner_bg.wasm" as="fetch" type="application/wasm" crossorigin="">
|
|
<link rel="modulepreload" href="/fplanner.js"></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>
|
|
|
|
<!--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>
|
|
|
|
|
|
|
|
|
|
|
|
<script>(function () {
|
|
var protocol = window.location.protocol === 'https:' ? 'wss:' : 'ws:';
|
|
var url = protocol + '//' + window.location.host + '/_trunk/ws';
|
|
var poll_interval = 5000;
|
|
var reload_upon_connect = () => {
|
|
window.setTimeout(
|
|
() => {
|
|
// when we successfully reconnect, we'll force a
|
|
// reload (since we presumably lost connection to
|
|
// trunk due to it being killed, so it will have
|
|
// rebuilt on restart)
|
|
var ws = new WebSocket(url);
|
|
ws.onopen = () => window.location.reload();
|
|
ws.onclose = reload_upon_connect;
|
|
},
|
|
poll_interval);
|
|
};
|
|
|
|
var ws = new WebSocket(url);
|
|
ws.onmessage = (ev) => {
|
|
const msg = JSON.parse(ev.data);
|
|
if (msg.reload) {
|
|
window.location.reload();
|
|
}
|
|
};
|
|
ws.onclose = reload_upon_connect;
|
|
})()
|
|
</script></body></html><!-- Powered by egui: https://github.com/emilk/egui/ --> |