});
pluginsList.addListSelectionListener(new ListSelectionListener() {
@Override
public void valueChanged(ListSelectionEvent e) {
Plugin plugin = (Plugin) pluginsList.getSelectedValue();
configPluginButton.setEnabled(plugin != null && plugin.isConfigurable());
aboutPluginButton.setEnabled(plugin != null);
}
});
configPluginButton.addActionListener(new ActionListener() {
@Override
public void actionPerformed(ActionEvent e) {
Plugin plugin = (Plugin) pluginsList.getSelectedValue();
if (plugin != null)
plugin.configure(OptionsDialog.this);
}
});
aboutPluginButton.addActionListener(new ActionListener() {
@Override