Fix user ordering in the editor

This commit is contained in:
Luck 2020-05-30 01:37:24 +01:00
parent 25551641fc
commit 98c71739f8
No known key found for this signature in database
GPG Key ID: EFA9B3EC5FD90F8B

View File

@ -113,6 +113,7 @@ public class EditorCommand extends SingleCommand {
users.values().stream() users.values().stream()
.sorted(Comparator .sorted(Comparator
.<User>comparingInt(u -> u.getCachedData().getMetaData(QueryOptions.nonContextual()).getWeight(MetaCheckEvent.Origin.INTERNAL)) .<User>comparingInt(u -> u.getCachedData().getMetaData(QueryOptions.nonContextual()).getWeight(MetaCheckEvent.Origin.INTERNAL))
.reversed()
.thenComparing(User::getFormattedDisplayName, String.CASE_INSENSITIVE_ORDER) .thenComparing(User::getFormattedDisplayName, String.CASE_INSENSITIVE_ORDER)
) )
.forEach(holders::add); .forEach(holders::add);