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); |