Merge pull request #119 from jenkinsci/timja-patch-1

Move user header to appearance user page when available
jenkinsci · Jun 9, 2024 · 91250ee · 91250ee
2 parents 09524ad + d90ff9f
commit 91250ee
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/src/main/java/io/jenkins/plugins/customizable_header/UserHeader.java b/src/main/java/io/jenkins/plugins/customizable_header/UserHeader.java
@@ -112,5 +112,16 @@ public boolean isEnabled() {
     public String getDisplayName() {
       return "Customizable Header";
     }
+
+    //        @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";
+    }
   }
 }