From 276b5a8966ae5f8bb6cc3b7ca87a19f2e1145934 Mon Sep 17 00:00:00 2001
From: Tim Jacomb <21194782+timja@users.noreply.github.com>
Date: Wed, 1 Jun 2022 08:59:21 +0100
Subject: [PATCH] Add prism configuration (#194)
---
pom.xml | 2 +-
.../jenkins/plugins/darktheme/DarkThemeManagerFactory.java | 2 ++
.../plugins/darktheme/DarkThemeSystemManagerFactory.java | 6 +++++-
3 files changed, 8 insertions(+), 2 deletions(-)
diff --git a/pom.xml b/pom.xml
index 4a9ab2e..f74f6cd 100644
--- a/pom.xml
+++ b/pom.xml
@@ -38,7 +38,7 @@
io.jenkins.plugins
theme-manager
- 1.2
+ 1.3
diff --git a/src/main/java/io/jenkins/plugins/darktheme/DarkThemeManagerFactory.java b/src/main/java/io/jenkins/plugins/darktheme/DarkThemeManagerFactory.java
index 0bd34a0..e8511e2 100644
--- a/src/main/java/io/jenkins/plugins/darktheme/DarkThemeManagerFactory.java
+++ b/src/main/java/io/jenkins/plugins/darktheme/DarkThemeManagerFactory.java
@@ -12,6 +12,7 @@ public class DarkThemeManagerFactory extends ThemeManagerFactory {
public static final String THEME_CSS = "theme.css";
public static final String THEME_URL_NAME = "theme-dark";
+ public static final String PRISM_THEME = "tomorrow";
@DataBoundConstructor
public DarkThemeManagerFactory() {
@@ -21,6 +22,7 @@ public DarkThemeManagerFactory() {
public Theme getTheme() {
return Theme.builder()
.withCssUrl(getCssUrl())
+ .withProperty("prism-api", "theme", PRISM_THEME)
.build();
}
diff --git a/src/main/java/io/jenkins/plugins/darktheme/DarkThemeSystemManagerFactory.java b/src/main/java/io/jenkins/plugins/darktheme/DarkThemeSystemManagerFactory.java
index d362d54..64baf06 100644
--- a/src/main/java/io/jenkins/plugins/darktheme/DarkThemeSystemManagerFactory.java
+++ b/src/main/java/io/jenkins/plugins/darktheme/DarkThemeSystemManagerFactory.java
@@ -8,6 +8,8 @@
import org.jenkinsci.Symbol;
import org.kohsuke.stapler.DataBoundConstructor;
+import static io.jenkins.plugins.darktheme.DarkThemeManagerFactory.*;
+
public class DarkThemeSystemManagerFactory extends ThemeManagerFactory {
@DataBoundConstructor
@@ -16,7 +18,9 @@ public DarkThemeSystemManagerFactory() {
@Override
public Theme getTheme() {
- return Theme.builder().build();
+ return Theme.builder()
+ .withProperty("prism-api", "theme", PRISM_THEME)
+ .build();
}
@Extension