Changeset 6931 in josm for trunk


Ignore:
Timestamp:
2014-03-24T20:39:41+01:00 (6 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:
1 edited

Legend:

Unmodified
Added
Removed
Note: See TracChangeset for help on using the changeset viewer.