Changeset 4191 in josm for trunk/src/org/openstreetmap/josm/gui/preferences/plugin/PluginListPanel.java
- Timestamp:
- 01.07.2011 09:32:56 (11 months ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/preferences/plugin/PluginListPanel.java
r3330 r4191 10 10 import java.awt.event.ActionListener; 11 11 import java.util.List; 12 import java.util.logging.Logger;13 12 14 13 import javax.swing.JCheckBox; … … 25 24 26 25 public class PluginListPanel extends VerticallyScrollablePanel{ 27 @SuppressWarnings("unused")28 private static final Logger logger = Logger.getLogger(PluginListPanel.class.getName());29 30 26 private PluginPreferencesModel model; 31 27
Note: See TracChangeset
for help on using the changeset viewer.
