From f7794fe996d61c6154c33e585f4090bd5acf3f2a Mon Sep 17 00:00:00 2001
From: Alex Bates <alex@nanaian.town>
Date: Wed, 27 Sep 2023 15:12:46 +0100
Subject: [PATCH] implement examples

---
 .editorconfig                               | 12 +++++
 src/lib/repl/Sidebar.svelte                 |  2 +-
 src/lib/repl/sidebar/Examples.svelte        | 51 +++++++++++++++++++++
 src/lib/repl/sidebar/SidebarOptions.svelte  |  3 ++
 static/examples/hello-world-swing/Main.java | 20 ++++++++
 static/examples/hello-world/Main.java       |  5 ++
 6 files changed, 92 insertions(+), 1 deletion(-)
 create mode 100644 .editorconfig
 create mode 100644 src/lib/repl/sidebar/Examples.svelte
 create mode 100644 static/examples/hello-world-swing/Main.java
 create mode 100644 static/examples/hello-world/Main.java

diff --git a/.editorconfig b/.editorconfig
new file mode 100644
index 0000000..e98035c
--- /dev/null
+++ b/.editorconfig
@@ -0,0 +1,12 @@
+root = true
+
+[*]
+indent_style = tab
+end_of_line = lf
+charset = utf-8
+trim_trailing_whitespace = false
+insert_final_newline = true
+
+[*.java]
+indent_style = space
+indent_size = 4
diff --git a/src/lib/repl/Sidebar.svelte b/src/lib/repl/Sidebar.svelte
index 620062c..310836b 100644
--- a/src/lib/repl/Sidebar.svelte
+++ b/src/lib/repl/Sidebar.svelte
@@ -22,7 +22,7 @@
 	</div>
 
 	<div class="w-80 grow overflow-hidden">
-		<div class="h-1/2 overflow-y-auto">
+		<div class="h-1/2 overflow-y-auto flex flex-col">
 			<SidebarOptions forceClose={!$isSidebarOpen} on:selectOption={() => $isSidebarOpen = true} />
 		</div>
 		{#if $isSidebarOpen}
diff --git a/src/lib/repl/sidebar/Examples.svelte b/src/lib/repl/sidebar/Examples.svelte
new file mode 100644
index 0000000..9931f07
--- /dev/null
+++ b/src/lib/repl/sidebar/Examples.svelte
@@ -0,0 +1,51 @@
+<script lang="ts">
+	import { goto } from "$app/navigation";
+	import Loading from "$lib/Loading.svelte";
+	import { compress, type Fiddle } from "$lib/compress-fiddle";
+	import { onMount } from "svelte";
+
+	async function fetchExampleFile(path: string) {
+		const res = await fetch(`/examples/${path}`);
+		return res.text();
+	}
+
+	let examples: Fiddle[] = [];
+	onMount(async () => {
+		examples = [
+			{
+				title: "Hello world",
+				files: [
+					{
+						path: "Main.java",
+						content: await fetchExampleFile("hello-world/Main.java"),
+					},
+				],
+			},
+			{
+				title: "Hello world with Swing",
+				files: [
+					{
+						path: "Main.java",
+						content: await fetchExampleFile("hello-world-swing/Main.java"),
+					},
+				],
+			},
+		];
+	});
+</script>
+
+{#each examples as fiddle}
+	<button
+		class="w-full text-left flex items-center px-4 py-2 hover:bg-stone-200 dark:hover:bg-stone-900"
+		on:click={async () => {
+			const id = compress(fiddle);
+			await goto(`/${id}`);
+		}}
+	>
+		<div class="grow">{fiddle.title}</div>
+	</button>
+{:else}
+	<div class="flex justify-center grow">
+		<Loading />
+	</div>
+{/each}
diff --git a/src/lib/repl/sidebar/SidebarOptions.svelte b/src/lib/repl/sidebar/SidebarOptions.svelte
index d3efc01..b5a2cf2 100644
--- a/src/lib/repl/sidebar/SidebarOptions.svelte
+++ b/src/lib/repl/sidebar/SidebarOptions.svelte
@@ -3,6 +3,7 @@
 	import { createEventDispatcher } from "svelte";
 	import Favourites from "./Favourites.svelte";
 	import { browser } from "$app/environment";
+	import Examples from "./Examples.svelte";
 
 	const dispatch = createEventDispatcher<{ selectOption: number }>();
 
@@ -41,6 +42,8 @@
 	</div>
 	{#if selectedOptionIndex === 0}
 		<Favourites />
+	{:else if selectedOptionIndex === 1}
+		<Examples />
 	{/if}
 {:else}
 	<ul>
diff --git a/static/examples/hello-world-swing/Main.java b/static/examples/hello-world-swing/Main.java
new file mode 100644
index 0000000..52f5e90
--- /dev/null
+++ b/static/examples/hello-world-swing/Main.java
@@ -0,0 +1,20 @@
+import java.awt.Font;
+import javax.swing.JFrame;
+import javax.swing.JLabel;
+import javax.swing.SwingUtilities;
+
+class Main implements Runnable {
+    public static void main(String[] args) {
+        SwingUtilities.invokeLater(new Main());
+    }
+
+    public void run() {
+        JFrame f = new JFrame("Swing example");
+        JLabel l = new JLabel("Hello, world!");
+        l.setFont(new Font("Serif", Font.PLAIN, 42));
+        f.add(l);
+        f.pack();
+        f.setLocationRelativeTo(null);
+        f.setVisible(true);
+    }
+}
diff --git a/static/examples/hello-world/Main.java b/static/examples/hello-world/Main.java
new file mode 100644
index 0000000..53eaf6a
--- /dev/null
+++ b/static/examples/hello-world/Main.java
@@ -0,0 +1,5 @@
+class Main {
+    public static void main(String[] args) {
+        System.out.println("Hello, World!");
+    }
+}