From 1554797a080baaec5c097543926225c7678604c4 Mon Sep 17 00:00:00 2001
From: Haku <doubleimpact@protonmail.com>
Date: Thu, 25 Nov 2021 00:36:35 -0500
Subject: [PATCH] jp can now be set from settings

---
 src/settings.ts | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)

diff --git a/src/settings.ts b/src/settings.ts
index d10042b..60cf160 100644
--- a/src/settings.ts
+++ b/src/settings.ts
@@ -4,6 +4,18 @@ document.querySelector('#content').innerHTML = `<h1>Raspberry Settings</h1>
 <table>
 <tbody id="keys">
 
+</tbody>
+</table>
+</fieldset>
+<fieldset>
+<legend>Miscellaneous</legend>
+<table>
+<tbody>
+<tr>
+<td><label for="jump-point">Jump Point</label></td>
+<td><input type="text" id="jump-point"></td>
+<td><input type="button" class="button" id="set-jump-point" value="Set"></td>
+</tr>
 </tbody>
 </table>
 </fieldset>`;
@@ -48,4 +60,12 @@ async function addKeySetter(functionName: string, displayName?: string)
         else
             await addKeySetter(keybinds[i].functionName);
     }
+
+    // Other settings
+    (document.querySelector('#jump-point') as HTMLInputElement).value = await getStorageValue('jp');
+    document.querySelector('#set-jump-point').addEventListener('click', async (e: MouseEvent): Promise<void> =>
+    {
+        const jumpPoint: string = canonicalize((document.querySelector('#jump-point') as HTMLInputElement).value);
+        await setStorageValue('jp', jumpPoint);
+    });
 })();
\ No newline at end of file