- Timestamp:
- 2018-10-14T14:15:06+02:00 (6 years ago)
- Location:
- trunk/src/org/openstreetmap/josm
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/preferences/imagery/CommonSettingsPanel.java
r14295 r14327 89 89 90 90 boolean restartRequired = false; 91 restartRequired |= removeCacheFiles(CachedTileLoaderFactory.PROP_TILECACHE_DIR.get(), 1024L * 1024L * ((Integer) this.maxElementsOnDisk.getValue())); 91 restartRequired |= removeCacheFiles(CachedTileLoaderFactory.PROP_TILECACHE_DIR.get(), 92 1024L * 1024L * ((Integer) this.maxElementsOnDisk.getValue())); 92 93 93 94 if (!AbstractCachedTileSourceLayer.MAX_DISK_CACHE_SIZE.get().equals(this.maxElementsOnDisk.getValue())) { -
trunk/src/org/openstreetmap/josm/plugins/PluginHandler.java
r14317 r14327 8 8 import java.awt.Component; 9 9 import java.awt.Font; 10 import java.awt.GraphicsEnvironment;11 10 import java.awt.GridBagConstraints; 12 11 import java.awt.GridBagLayout; … … 1208 1207 } 1209 1208 1209 /** 1210 * Called in the download dialog to give the plugins a chance to modify the list 1211 * of bounding box selectors. 1212 * @param downloadSelections list of bounding box selectors 1213 */ 1210 1214 public static void addDownloadSelection(List<DownloadSelection> downloadSelections) { 1211 1215 for (PluginProxy p : pluginList) { … … 1214 1218 } 1215 1219 1220 /** 1221 * Returns the list of plugin preference settings. 1222 * @return the list of plugin preference settings 1223 */ 1216 1224 public static Collection<PreferenceSettingFactory> getPreferenceSetting() { 1217 1225 Collection<PreferenceSettingFactory> settings = new ArrayList<>();
Note:
See TracChangeset
for help on using the changeset viewer.