Changeset 6931 in josm

Timestamp:

2014-03-24T20:39:41+01:00 (10 years ago)

Author:

simon04

Message:

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

Make this feature from r6741 actually work

File:

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

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

@@ -233 +233 @@
                 @Override
                 public void mouseClicked(MouseEvent e) {
-                    cbPlugin.setSelected(!cbPlugin.isSelected());
+                    cbPlugin.doClick();
                 }
             });