MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

plugin advertiser: sort suggested plugins by name

Browse Source
This commit is contained in:
anna
2013-10-23 13:43:45 +02:00
parent 64feb9f897
commit cf140ecc88
1 changed files with 7 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/openapi/updateSettings/impl/pluginsAdvertisement/PluginsAdvertiserDialog.java
+7 -4
View File
@@ -27,10 +27,7 @@ import org.jetbrains.annotations.Nullable;
import javax.swing.*;
import java.io.IOException;
import java.util.ArrayList;
import java.util.HashSet;
import java.util.List;
import java.util.Set;
import java.util.*;
/**
* User: anna
@@ -46,6 +43,12 @@ public class PluginsAdvertiserDialog extends DialogWrapper {
PluginsAdvertiserDialog(@Nullable Project project, PluginDownloader[] plugins, List<IdeaPluginDescriptor> allPlugins) {
super(project);
myProject = project;
Arrays.sort(plugins, new Comparator<PluginDownloader>() {
@Override
public int compare(PluginDownloader o1, PluginDownloader o2) {
return o1.getPluginName().compareToIgnoreCase(o2.getPluginName());
}
});
myUploadedPlugins = plugins;
myAllPlugins = allPlugins;
setTitle("Choose Plugins to Install or Enable");