From 60b6f7df89c705cc91dc0c20d510be9a91ab4e1b Mon Sep 17 00:00:00 2001
From: Elian Doran <contact@eliandoran.me>
Date: Sun, 27 Oct 2024 12:54:06 +0200
Subject: [PATCH] client: Allow switching theme

---
 .../type_widgets/options/appearance/highlighting.js       | 8 ++++++--
 src/routes/api/options.ts                                 | 1 +
 src/services/options_init.ts                              | 3 ++-
 3 files changed, 9 insertions(+), 3 deletions(-)

diff --git a/src/public/app/widgets/type_widgets/options/appearance/highlighting.js b/src/public/app/widgets/type_widgets/options/appearance/highlighting.js
index 1b99430c1..9e6396004 100644
--- a/src/public/app/widgets/type_widgets/options/appearance/highlighting.js
+++ b/src/public/app/widgets/type_widgets/options/appearance/highlighting.js
@@ -18,6 +18,10 @@ export default class HighlightingOptions extends OptionsWidget {
     doRender() {
         this.$widget = $(TPL);        
         this.$themeSelect = this.$widget.find(".theme-select");
+        this.$themeSelect.on("change", async () => {
+            const newTheme = this.$themeSelect.val();
+            await server.put(`options/highlightingTheme/${newTheme}`);
+        });
     }
 
     async optionsLoaded(options) {
@@ -27,8 +31,8 @@ export default class HighlightingOptions extends OptionsWidget {
         for (const theme of themes) {
             this.$themeSelect.append($("<option>")
                 .attr("value", theme.val)
-                .text(theme.title)
-                );
+                .text(theme.title));
         }
+        this.$themeSelect.val(options.highlightingTheme);
     }
 }
\ No newline at end of file
diff --git a/src/routes/api/options.ts b/src/routes/api/options.ts
index 7bf21890d..5b8f4aea4 100644
--- a/src/routes/api/options.ts
+++ b/src/routes/api/options.ts
@@ -16,6 +16,7 @@ const ALLOWED_OPTIONS = new Set([
     'revisionSnapshotNumberLimit',
     'zoomFactor',
     'theme',
+    'highlightingTheme',
     'syncServerHost',
     'syncServerTimeout',
     'syncProxy',
diff --git a/src/services/options_init.ts b/src/services/options_init.ts
index 6ed4d52a8..1d456ee3f 100644
--- a/src/services/options_init.ts
+++ b/src/services/options_init.ts
@@ -41,6 +41,7 @@ async function initNotSyncedOptions(initialized: boolean, theme: string, opts: N
     optionService.createOption('lastSyncedPush', '0', false);    
 
     optionService.createOption('theme', theme, false);
+    optionService.createOption('highlightingTheme', "default:atom-one-dark", false);
     
     optionService.createOption('syncServerHost', opts.syncServerHost || '', false);
     optionService.createOption('syncServerTimeout', '120000', false);
@@ -99,7 +100,7 @@ const defaultOptions: DefaultOption[] = [
 
     // Internationalization
     { name: 'locale', value: 'en', isSynced: true },
-    { name: 'firstDayOfWeek', value: '1', isSynced: true }
+    { name: 'firstDayOfWeek', value: '1', isSynced: true }    
 ];
 
 function initStartupOptions() {