From 913fadedb818b49264a977635784b815e9569676 Mon Sep 17 00:00:00 2001
From: buzzcode2007 <73412182+buzz_lightsnack_2007@users.noreply.github.com>
Date: Sat, 23 Mar 2024 22:36:32 +0800
Subject: [PATCH] add a windowed appearance for the settings

---
 gui/scripts/settings.JS | 24 ++++++++++++++++++++++++
 1 file changed, 24 insertions(+)
 create mode 100644 gui/scripts/settings.JS

diff --git a/gui/scripts/settings.JS b/gui/scripts/settings.JS
new file mode 100644
index 0000000..778be04
--- /dev/null
+++ b/gui/scripts/settings.JS
@@ -0,0 +1,24 @@
+/* Settings.js
+  Build the interface for the settings
+*/
+
+import texts from './read.JS';
+import windowman from './windowman.JS';
+
+function start() {
+	windowman.prepare();
+
+	return(new windowman(`body`, null, null, {'Close': true}));
+}
+
+function populate(element) {
+	/* Populate the strings on the page. */
+	element.update('title', texts.localized(`GUI_title_prefs`));
+}
+
+function main() {
+	let tab = start();
+	populate(tab);
+}
+
+main();