From a06dc88f849d6f18ed9345532c78750bec6cc6f1 Mon Sep 17 00:00:00 2001
From: trisua <tri@swmff.org>
Date: Wed, 9 Apr 2025 20:42:03 -0400
Subject: [PATCH] fix: option element selection
---
crates/app/src/public/html/profile/settings.html | 1 +
crates/app/src/public/js/atto.js | 4 ++++
2 files changed, 5 insertions(+)
diff --git a/crates/app/src/public/html/profile/settings.html b/crates/app/src/public/html/profile/settings.html
index b368884..8bdb425 100644
--- a/crates/app/src/public/html/profile/settings.html
+++ b/crates/app/src/public/html/profile/settings.html
@@ -202,6 +202,7 @@
</div>
<div class="card">
+ {{ user.settings.theme_preference }}
<select
onchange="set_setting_field('theme_preference', event.target.selectedOptions[0].value)"
>
diff --git a/crates/app/src/public/js/atto.js b/crates/app/src/public/js/atto.js
index f166945..e2dbe65 100644
--- a/crates/app/src/public/js/atto.js
+++ b/crates/app/src/public/js/atto.js
@@ -74,6 +74,10 @@ media_theme_pref();
for (const element of document.querySelectorAll('[selected="false"]')) {
element.removeAttribute("selected");
}
+
+ for (const element of document.querySelectorAll('[selected="true"]')) {
+ element.parentElement.value = element.value;
+ }
});
self.define("rel_date", (_, date) => {