fix dev server

This commit is contained in:
evilchili
2026-05-15 15:18:31 -07:00
parent c61b8e2f8b
commit 80c34a1483
4 changed files with 4313 additions and 141 deletions
+2 -7
View File
@@ -3,7 +3,7 @@
<head>
<meta charset="utf-8">
<title>Ribbit Integration Test Page</title>
<link rel="stylesheet" href="/ribbit/themes/ribbit-default/theme.css">
<link rel="stylesheet" href="/static/themes/ribbit-default/theme.css">
<style>
body { font-family: sans-serif; margin: 20px; }
#ribbit { border: 1px solid #ccc; padding: 20px; min-height: 200px; }
@@ -32,7 +32,7 @@
| 1 | 2 |
</article>
<script src="/ribbit/ribbit.js"></script>
<script src="/static/ribbit.js"></script>
<script>
const editor = new ribbit.Editor({
on: {
@@ -42,10 +42,5 @@
editor.run();
window.__ribbitEditor = editor;
</script>
<script>
// Livereload — connects to dev server's EventSource endpoint.
// Silently fails if the dev server isn't running.
try { new EventSource('http://localhost:8081').onmessage = () => location.reload(); } catch(e) {}
</script>
</body>
</html>