From 2fdff29067c6f2020e725f82b76a37d5f4cb37c3 Mon Sep 17 00:00:00 2001
From: Elian Doran <contact@eliandoran.me>
Date: Sun, 27 Oct 2024 20:08:12 +0200
Subject: [PATCH] client: Apply syntax highlight in real-time

---
 src/public/app/services/library_loader.js                       | 1 +
 .../app/widgets/type_widgets/options/appearance/highlighting.js | 2 ++
 2 files changed, 3 insertions(+)

diff --git a/src/public/app/services/library_loader.js b/src/public/app/services/library_loader.js
index 1fee76f1a..88ad4ec7d 100644
--- a/src/public/app/services/library_loader.js
+++ b/src/public/app/services/library_loader.js
@@ -177,6 +177,7 @@ function loadHighlightingTheme(theme) {
 export default {
     requireCss,
     requireLibrary,
+    loadHighlightingTheme,
     CKEDITOR,
     CODE_MIRROR,
     ESLINT,
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 9e6396004..8d3eba80a 100644
--- a/src/public/app/widgets/type_widgets/options/appearance/highlighting.js
+++ b/src/public/app/widgets/type_widgets/options/appearance/highlighting.js
@@ -1,3 +1,4 @@
+import library_loader from "../../../../services/library_loader.js";
 import server from "../../../../services/server.js";
 import OptionsWidget from "../options_widget.js";
 
@@ -20,6 +21,7 @@ export default class HighlightingOptions extends OptionsWidget {
         this.$themeSelect = this.$widget.find(".theme-select");
         this.$themeSelect.on("change", async () => {
             const newTheme = this.$themeSelect.val();
+            library_loader.loadHighlightingTheme(newTheme);
             await server.put(`options/highlightingTheme/${newTheme}`);
         });
     }