Changeset 3507 in josm for trunk/src/org/openstreetmap/josm/gui
- Timestamp:
- 2010-09-02T19:26:26+02:00 (16 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/preferences/PreferenceTabbedPane.java
r3461 r3507 133 133 134 134 public void savePreferences() { 135 135 if(Main.applet) 136 return; 136 137 // create a task for downloading plugins if the user has activated, yet not downloaded, 137 138 // new plugins
Note:
See TracChangeset
for help on using the changeset viewer.
