Merge pull request #253 from zbynek/dark-theme

[JENKINS-71997] Improve support for dark theme
jenkinsci · Dec 5, 2023 · b2cec1c · b2cec1c
2 parents dd6b58d + 19427a5
commit b2cec1c
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 0 deletions.
diff --git a/src/main/resources/io/jenkins/plugins/bootstrap5.jelly b/src/main/resources/io/jenkins/plugins/bootstrap5.jelly
@@ -15,6 +15,7 @@ Use it like <st:adjunct includes="io.jenkins.plugins.bootstrap5"/>
   <script type="text/javascript" src="${resURL}/plugin/bootstrap5-api/js/popper.min.js"/>
   <script type="text/javascript" src="${resURL}/plugin/bootstrap5-api/js/bootstrap.min.js"/>
   <script type="text/javascript" src="${resURL}/plugin/bootstrap5-api/js/no-prototype.js"/>
+  <script type="text/javascript" src="${resURL}/plugin/bootstrap5-api/js/theme-support.js"/>
 
   <script>
     const bootstrap5 = bootstrap;

diff --git a/src/main/webapp/js/theme-support.js b/src/main/webapp/js/theme-support.js
@@ -0,0 +1,10 @@
+if (window.getThemeManagerProperty) {
+    const setBsTheme = () => document.body.dataset['bsTheme'] = getThemeManagerProperty('bootstrap', 'theme');
+    setBsTheme();
+
+    if (window.isSystemRespectingTheme) {
+        window.matchMedia('(prefers-color-scheme: dark)').addEventListener('change', event => {
+            setBsTheme()
+        });
+    }
+}