config: minor plugin panel cleanup

This commit is contained in:
Adam
2020-07-08 17:44:51 -04:00
parent 31d76e0530
commit 395fd1f519
2 changed files with 9 additions and 11 deletions

View File

@@ -100,8 +100,6 @@ class PluginListItem extends JPanel
keywords.add(mf.getInternalName());
}
final List<JMenuItem> popupMenuItems = new ArrayList<>();
setLayout(new BorderLayout(3, 0));
setPreferredSize(new Dimension(PluginPanel.PANEL_WIDTH, 20));

View File

@@ -87,7 +87,6 @@ class PluginListPanel extends PluginPanel
private final ConfigManager configManager;
private final PluginManager pluginManager;
private final ScheduledExecutorService executorService;
private final Provider<ConfigPanel> configPanelProvider;
private final List<PluginConfigurationDescriptor> fakePlugins = new ArrayList<>();
@@ -117,7 +116,6 @@ class PluginListPanel extends PluginPanel
this.configManager = configManager;
this.pluginManager = pluginManager;
this.externalPluginManager = externalPluginManager;
this.executorService = executorService;
this.configPanelProvider = configPanelProvider;
muxer = new MultiplexingPluginPanel(this)
@@ -214,14 +212,16 @@ class PluginListPanel extends PluginPanel
config,
configDescriptor);
})
).map(desc ->
{
PluginListItem listItem = new PluginListItem(this, desc);
listItem.setPinned(pinnedPlugins.contains(desc.getName()));
return listItem;
}).collect(Collectors.toList());
)
.map(desc ->
{
PluginListItem listItem = new PluginListItem(this, desc);
listItem.setPinned(pinnedPlugins.contains(desc.getName()));
return listItem;
})
.sorted(Comparator.comparing(p -> p.getPluginConfig().getName()))
.collect(Collectors.toList());
pluginList.sort(Comparator.comparing(p -> p.getPluginConfig().getName()));
mainPanel.removeAll();
refresh();
}