2025-01-31 14:51:28 +00:00
|
|
|
<!doctype html>
|
2024-12-29 02:09:53 +00:00
|
|
|
<html>
|
2025-01-31 14:51:28 +00:00
|
|
|
<head>
|
|
|
|
|
<meta charset="utf-8" />
|
|
|
|
|
<title>Elm UI Website</title>
|
|
|
|
|
<style>
|
|
|
|
|
@font-face {
|
|
|
|
|
font-family: "Courier Prime";
|
|
|
|
|
src: url("assets/CourierPrime-Regular.ttf") format("truetype");
|
|
|
|
|
font-weight: normal;
|
|
|
|
|
font-style: normal;
|
|
|
|
|
}
|
|
|
|
|
</style>
|
|
|
|
|
</head>
|
|
|
|
|
<body>
|
|
|
|
|
<div id="elm"></div>
|
|
|
|
|
<script src="elm.min.js"></script>
|
|
|
|
|
<script src="ports.websocket.js"></script>
|
|
|
|
|
<script>
|
|
|
|
|
var app = Elm.Main.init({
|
|
|
|
|
node: document.getElementById("elm"),
|
|
|
|
|
});
|
|
|
|
|
initSockets(app);
|
2025-01-31 15:02:53 +00:00
|
|
|
const allowedKeys = ["l", "d"];
|
2025-01-31 14:51:28 +00:00
|
|
|
document.addEventListener("keydown", (event) => {
|
|
|
|
|
if (
|
|
|
|
|
event.ctrlKey &&
|
|
|
|
|
allowedKeys.includes(event.key.toLowerCase())
|
|
|
|
|
) {
|
|
|
|
|
event.preventDefault();
|
|
|
|
|
}
|
2025-01-31 15:11:45 +00:00
|
|
|
|
|
|
|
|
if (event.key === "Tab") {
|
|
|
|
|
event.preventDefault();
|
|
|
|
|
}
|
2025-01-31 14:51:28 +00:00
|
|
|
});
|
|
|
|
|
</script>
|
|
|
|
|
</body>
|
2024-12-29 02:09:53 +00:00
|
|
|
</html>
|
