Paper/Spigot-API-Patches/0064-Make-plugins-list-alphabetical.patch

56 Zeilen
2.1 KiB
Diff

From e955f61d6121d9145086bb3aefcd07f8d19a6505 Mon Sep 17 00:00:00 2001
2017-07-31 09:09:13 +02:00
From: BillyGalbreath <Blake.Galbreath@GMail.com>
Date: Mon, 31 Jul 2017 02:08:55 -0500
Subject: [PATCH] Make /plugins list alphabetical
diff --git a/src/main/java/org/bukkit/command/defaults/PluginsCommand.java b/src/main/java/org/bukkit/command/defaults/PluginsCommand.java
index 11fbd0e0..d4e74d29 100644
2017-07-31 09:09:13 +02:00
--- a/src/main/java/org/bukkit/command/defaults/PluginsCommand.java
+++ b/src/main/java/org/bukkit/command/defaults/PluginsCommand.java
2019-04-23 06:47:07 +02:00
@@ -3,6 +3,9 @@ package org.bukkit.command.defaults;
2017-07-31 09:09:13 +02:00
import java.util.Arrays;
2017-11-10 23:31:39 +01:00
import java.util.Collections;
import java.util.List;
2017-07-31 09:09:13 +02:00
+import java.util.Map;
+import java.util.TreeMap;
2019-04-23 06:47:07 +02:00
+
2017-07-31 09:09:13 +02:00
import org.bukkit.Bukkit;
import org.bukkit.ChatColor;
2019-04-23 06:47:07 +02:00
import org.bukkit.command.CommandSender;
@@ -34,19 +37,24 @@ public class PluginsCommand extends BukkitCommand {
2017-07-31 09:09:13 +02:00
@NotNull
2017-07-31 09:09:13 +02:00
private String getPluginList() {
- StringBuilder pluginList = new StringBuilder();
- Plugin[] plugins = Bukkit.getPluginManager().getPlugins();
+ // Paper start
+ TreeMap<String, ChatColor> plugins = new TreeMap<>(String.CASE_INSENSITIVE_ORDER);
+
+ for (Plugin plugin : Bukkit.getPluginManager().getPlugins()) {
+ plugins.put(plugin.getDescription().getName(), plugin.isEnabled() ? ChatColor.GREEN : ChatColor.RED);
+ }
- for (Plugin plugin : plugins) {
+ StringBuilder pluginList = new StringBuilder();
+ for (Map.Entry<String, ChatColor> entry : plugins.entrySet()) {
if (pluginList.length() > 0) {
pluginList.append(ChatColor.WHITE);
pluginList.append(", ");
}
-
- pluginList.append(plugin.isEnabled() ? ChatColor.GREEN : ChatColor.RED);
- pluginList.append(plugin.getDescription().getName());
+ pluginList.append(entry.getValue());
+ pluginList.append(entry.getKey());
}
- return "(" + plugins.length + "): " + pluginList.toString();
+ return "(" + plugins.size() + "): " + pluginList.toString();
+ // Paper end
}
2017-11-10 23:31:39 +01:00
}
2017-07-31 09:09:13 +02:00
--
2.25.0.windows.1
2017-07-31 09:09:13 +02:00