44 |
|
|
45 |
import java.beans.PropertyChangeEvent; |
import java.beans.PropertyChangeEvent; |
46 |
import java.beans.PropertyChangeListener; |
import java.beans.PropertyChangeListener; |
|
import java.util.Arrays; |
|
47 |
import java.util.HashSet; |
import java.util.HashSet; |
48 |
import java.util.Iterator; |
import java.util.Iterator; |
49 |
import java.util.Set; |
import java.util.Set; |
53 |
import javax.swing.ListSelectionModel; |
import javax.swing.ListSelectionModel; |
54 |
import javax.swing.event.ListSelectionListener; |
import javax.swing.event.ListSelectionListener; |
55 |
|
|
|
import org.geotools.feature.FeatureIterator; |
|
56 |
import org.geotools.map.MapLayer; |
import org.geotools.map.MapLayer; |
57 |
import org.geotools.styling.FeatureTypeStyle; |
import org.geotools.styling.FeatureTypeStyle; |
58 |
import org.geotools.styling.Style; |
import org.geotools.styling.Style; |
60 |
import org.opengis.filter.identity.FeatureId; |
import org.opengis.filter.identity.FeatureId; |
61 |
|
|
62 |
import schmitzm.geotools.FilterUtil; |
import schmitzm.geotools.FilterUtil; |
|
import schmitzm.geotools.feature.PipedFeatureIterator; |
|
63 |
import schmitzm.geotools.gui.JMapPane; |
import schmitzm.geotools.gui.JMapPane; |
64 |
import schmitzm.geotools.map.event.FeatureSelectedEvent; |
import schmitzm.geotools.map.event.FeatureSelectedEvent; |
65 |
import schmitzm.geotools.map.event.JMapPaneEvent; |
import schmitzm.geotools.map.event.JMapPaneEvent; |
66 |
import schmitzm.geotools.map.event.JMapPaneListener; |
import schmitzm.geotools.map.event.JMapPaneListener; |
67 |
import schmitzm.geotools.styling.StylingUtil; |
import schmitzm.geotools.styling.StylingUtil; |
|
import schmitzm.lang.LangUtil; |
|
68 |
import skrueger.geotools.MapPaneToolBar; |
import skrueger.geotools.MapPaneToolBar; |
69 |
import skrueger.geotools.StyledLayerInterface; |
import skrueger.geotools.StyledLayerInterface; |
70 |
|
|
169 |
*/ |
*/ |
170 |
private void changeLayerStyle(final Vector<String> newSelection) { |
private void changeLayerStyle(final Vector<String> newSelection) { |
171 |
try { |
try { |
172 |
|
// GTRenderer r = mapPane.getRenderer(); |
173 |
|
// if (r instanceof ShapefileRenderer) { |
174 |
|
// ShapefileRenderer sfr = (ShapefileRenderer)r; |
175 |
|
// sfr.setCaching(false); |
176 |
|
// } |
177 |
|
// |
178 |
|
|
179 |
Style originalStyle = mapLayer.getStyle(); |
Style originalStyle = mapLayer.getStyle(); |
180 |
if (newSelection.isEmpty()) { |
if (newSelection.isEmpty()) { |
181 |
|
|
251 |
// Refresh the map |
// Refresh the map |
252 |
mapPane.refresh(); |
mapPane.refresh(); |
253 |
} |
} |
254 |
|
// |
255 |
|
// if (r instanceof ShapefileRenderer) { |
256 |
|
// ShapefileRenderer sfr = (ShapefileRenderer)r; |
257 |
|
// sfr.setCaching(true); |
258 |
|
// } |
259 |
|
|
260 |
|
|
261 |
} catch (Exception e) { |
} catch (Exception e) { |
262 |
LOGGER.error("Error while trying to create a selection style", e); |
LOGGER.error("Error while trying to create a selection style", e); |