From 64254c472f8a91dfbf7d6d8f50c1a4580717b3e4 Mon Sep 17 00:00:00 2001
From: Tim Jacomb <timjacomb1@gmail.com>
Date: Sat, 8 Jun 2024 22:31:06 +0100
Subject: [PATCH] Move theme selection to appearance user page when available

---
 .../plugins/thememanager/ThemeUserProperty.java       | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/src/main/java/io/jenkins/plugins/thememanager/ThemeUserProperty.java b/src/main/java/io/jenkins/plugins/thememanager/ThemeUserProperty.java
index 7c8fecd..4f65438 100644
--- a/src/main/java/io/jenkins/plugins/thememanager/ThemeUserProperty.java
+++ b/src/main/java/io/jenkins/plugins/thememanager/ThemeUserProperty.java
@@ -70,5 +70,16 @@ public String getDisplayName() {
         public UserProperty newInstance(User user) {
             return new ThemeUserProperty();
         }
+
+        //        @Override
+        //        public @NonNull UserPropertyCategory getUserPropertyCategory() {
+        //            return UserPropertyCategory.get(UserPropertyCategory.Appearance.class);
+        //        }
+
+        // replace with above method when bumping core to version including:
+        // https://github.com/jenkinsci/jenkins/pull/7268
+        public @CheckForNull String getUserPropertyCategoryAsString() {
+            return "appearance";
+        }
     }
 }