mirror of
https://github.com/jenkinsci/jenkins.git
synced 2026-11-12 03:26:59 +00:00
[FIX JENKINS-14538] Move tool configuration to separate page
This commit is contained in:
1 parent
9cab873461
commit
ea5b2a7ef6
9 files changed
+199
-15
No files matched your search
@@ -956,11 +956,13 @@ public class Functions {
|
||||
if (d.getGlobalConfigPage()==null) continue;
|
||||
|
||||
if (d instanceof GlobalConfiguration) {
|
||||
if (predicate.apply(((GlobalConfiguration)d).getCategory()))
|
||||
if (predicate.apply((d.getCategory()))) {
|
||||
r.add(new Tag(c.ordinal(), d));
|
||||
}
|
||||
} else {
|
||||
if (predicate.apply(GlobalConfigurationCategory.get(Unclassified.class)))
|
||||
if (predicate.apply(d.getCategory())) {
|
||||
r.add(new Tag(0, d));
|
||||
}
|
||||
}
|
||||
}
|
||||
Collections.sort(r);
|
||||
|
||||
Reference in new issue
Block a user