Changeset 14384 in josm for trunk/src/org/openstreetmap/josm/gui/preferences/plugin/PluginCheckBox.java
- Timestamp:
- 2018-10-29T22:24:29+01:00 (5 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/preferences/plugin/PluginCheckBox.java
r11848 r14384 63 63 if (!p.equals(pi) && p.requires != null && ppModel.isSelectedPlugin(p.getName())) { 64 64 for (String s : p.getRequiredPlugins()) { 65 if (s.equals(pi.getName()) ) {65 if (s.equals(pi.getName()) || s.equals(pi.provides)) { 66 66 otherPlugins.add(p.getName()); 67 67 break;
Note:
See TracChangeset
for help on using the changeset viewer.