Changeset 6741 in josm

Timestamp:

2014-01-19T20:43:00+01:00 (10 years ago)

Author:

simon04

Message:

Preference: Allow to toggle selection of plugins also by clicking on the name

File:

• trunk/src/org/openstreetmap/josm/gui/preferences/plugin/PluginListPanel.java (modified) (3 diffs)

trunk/src/org/openstreetmap/josm/gui/preferences/plugin/PluginListPanel.java

@@ -12 +12 @@
 import java.awt.event.ActionEvent;
 import java.awt.event.ActionListener;
+import java.awt.event.MouseAdapter;
+import java.awt.event.MouseEvent;
 import java.util.HashSet;
 import java.util.List;
@@ -219 +221 @@
             String localversion = formatPluginLocalVersion(model.getPluginInformation(pi.getName()));
 
-            JPluginCheckBox cbPlugin = new JPluginCheckBox(pi, selected);
+            final JPluginCheckBox cbPlugin = new JPluginCheckBox(pi, selected);
             String pluginText = tr("{0}: Version {1} (local: {2})", pi.getName(), remoteversion, localversion);
             if (pi.requires != null && !pi.requires.isEmpty()) {
@@ -228 +230 @@
                     pi.getScaledIcon(),
                     SwingConstants.LEFT);
+            lblPlugin.addMouseListener(new MouseAdapter() {
+                @Override
+                public void mouseClicked(MouseEvent e) {
+                    cbPlugin.setSelected(!cbPlugin.isSelected());
+                }
+            });
 
             gbc.gridx = 0;