Console: Case-insensitive sort for plugins

This commit is contained in:
zzz
2019-09-08 12:05:00 +00:00
parent b51962aeac
commit ee5a22be24

View File

@ -258,7 +258,8 @@ public class ConfigClientsHelper extends HelperBase {
.append(_t("Control")).append("</th><th align=\"left\">") .append(_t("Control")).append("</th><th align=\"left\">")
.append(_t("Description")).append("</th></tr>\n"); .append(_t("Description")).append("</th></tr>\n");
Properties props = PluginStarter.pluginProperties(); Properties props = PluginStarter.pluginProperties();
Set<String> keys = new TreeSet<String>(props.stringPropertyNames()); Set<String> keys = new TreeSet<String>(Collator.getInstance());
keys.addAll(props.stringPropertyNames());
for (String name : keys) { for (String name : keys) {
if (name.startsWith(PluginStarter.PREFIX) && name.endsWith(PluginStarter.ENABLED)) { if (name.startsWith(PluginStarter.PREFIX) && name.endsWith(PluginStarter.ENABLED)) {
String app = name.substring(PluginStarter.PREFIX.length(), name.lastIndexOf(PluginStarter.ENABLED)); String app = name.substring(PluginStarter.PREFIX.length(), name.lastIndexOf(PluginStarter.ENABLED));