Changeset 8598 in josm for trunk/src/org/openstreetmap/josm/gui/preferences/imagery/CommonSettingsPanel.java
- Timestamp:
- 2015-07-12T23:55:18+02:00 (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/preferences/imagery/CommonSettingsPanel.java
r7937 r8598 15 15 import javax.swing.JPanel; 16 16 import javax.swing.JSlider; 17 import javax.swing.JSpinner; 18 import javax.swing.SpinnerNumberModel; 17 19 20 import org.openstreetmap.josm.data.imagery.CachedTileLoaderFactory; 21 import org.openstreetmap.josm.gui.layer.AbstractCachedTileSourceLayer; 18 22 import org.openstreetmap.josm.gui.layer.ImageryLayer; 19 23 import org.openstreetmap.josm.gui.widgets.JosmComboBox; 24 import org.openstreetmap.josm.gui.widgets.JosmTextField; 20 25 import org.openstreetmap.josm.tools.ColorHelper; 21 26 import org.openstreetmap.josm.tools.GBC; … … 31 36 private final JSlider fadeAmount = new JSlider(0, 100); 32 37 private final JosmComboBox<String> sharpen; 38 private final JosmTextField tilecacheDir = new JosmTextField(); 39 private final JSpinner maxElementsOnDisk; 40 private final JSpinner maxElementsInRam; 41 33 42 34 43 /** … … 37 46 public CommonSettingsPanel() { 38 47 super(new GridBagLayout()); 39 48 49 this.maxElementsInRam = new JSpinner(new SpinnerNumberModel( 50 AbstractCachedTileSourceLayer.MEMORY_CACHE_SIZE.get().intValue(), 0, Integer.MAX_VALUE, 1)); 51 this.maxElementsOnDisk = new JSpinner(new SpinnerNumberModel( 52 AbstractCachedTileSourceLayer.MAX_DISK_CACHE_SIZE.get().intValue(), 0, Integer.MAX_VALUE, 1)); 53 54 40 55 this.btnFadeColor = new JButton(); 41 56 … … 72 87 add(GBC.glue(5, 0), GBC.std().fill(GBC.HORIZONTAL)); 73 88 add(this.sharpen, GBC.eol().fill(GBC.HORIZONTAL)); 89 90 add(new JLabel(tr("Tile cache directory: ")), GBC.std()); 91 add(GBC.glue(5, 0), GBC.std()); 92 add(tilecacheDir, GBC.eol().fill(GBC.HORIZONTAL)); 93 94 add(new JLabel(tr("Maximum size of disk cache (per imagery) in MB: ")), GBC.std()); 95 add(GBC.glue(5, 0), GBC.std()); 96 add(this.maxElementsOnDisk, GBC.eol()); 97 98 add(new JLabel(tr("Maximum number of objects in memory cache: ")), GBC.std()); 99 add(GBC.glue(5, 0), GBC.std()); 100 add(this.maxElementsInRam, GBC.eol()); 74 101 } 75 102 76 103 /** 77 104 * Loads the common settings. … … 83 110 this.fadeAmount.setValue(ImageryLayer.PROP_FADE_AMOUNT.get()); 84 111 this.sharpen.setSelectedIndex(Math.max(0, Math.min(2, ImageryLayer.PROP_SHARPEN_LEVEL.get()))); 112 this.tilecacheDir.setText(CachedTileLoaderFactory.PROP_TILECACHE_DIR.get()); 113 this.maxElementsOnDisk.setValue(AbstractCachedTileSourceLayer.MAX_DISK_CACHE_SIZE.get()); 114 this.maxElementsInRam.setValue(AbstractCachedTileSourceLayer.MEMORY_CACHE_SIZE.get()); 115 85 116 } 86 117 87 118 /** 88 119 * Saves the common settings. … … 93 124 ImageryLayer.PROP_FADE_COLOR.put(this.btnFadeColor.getBackground()); 94 125 ImageryLayer.PROP_SHARPEN_LEVEL.put(sharpen.getSelectedIndex()); 95 return false; 126 boolean restartRequired = false; 127 if (!AbstractCachedTileSourceLayer.MAX_DISK_CACHE_SIZE.get().equals(this.maxElementsOnDisk.getValue())) { 128 AbstractCachedTileSourceLayer.MAX_DISK_CACHE_SIZE.put((Integer) this.maxElementsOnDisk.getValue()); 129 restartRequired = true; 130 } 131 132 133 if (!CachedTileLoaderFactory.PROP_TILECACHE_DIR.get().equals(this.tilecacheDir.getText())) { 134 restartRequired = true; 135 CachedTileLoaderFactory.PROP_TILECACHE_DIR.put(this.tilecacheDir.getText()); 136 } 137 138 if (!AbstractCachedTileSourceLayer.MEMORY_CACHE_SIZE.get().equals(this.maxElementsInRam.getValue())) { 139 AbstractCachedTileSourceLayer.MEMORY_CACHE_SIZE.put((Integer) this.maxElementsInRam.getValue()); 140 } 141 142 143 return restartRequired; 96 144 } 97 145 }
Note:
See TracChangeset
for help on using the changeset viewer.