239 |
for (String fid : newSelection) { |
for (String fid : newSelection) { |
240 |
fids.add(FilterUtil.FILTER_FAC2.featureId(fid)); |
fids.add(FilterUtil.FILTER_FAC2.featureId(fid)); |
241 |
} |
} |
242 |
|
|
243 |
|
LOGGER.debug("The selection filter:"+fids); |
244 |
|
|
245 |
selectionFTStyle.rules().get(0).setFilter( |
selectionFTStyle.rules().get(0).setFilter( |
246 |
FilterUtil.FILTER_FAC2.id(fids)); |
FilterUtil.FILTER_FAC2.id(fids)); |
364 |
return; |
return; |
365 |
} |
} |
366 |
|
|
367 |
LOGGER.debug("do event " + fse); |
// LOGGER.debug("do event " + fse); |
368 |
|
|
369 |
// Avoid event circles in propertyChange(..) |
// Avoid event circles in propertyChange(..) |
370 |
selectionChangeCausedByMe = true; |
selectionChangeCausedByMe = true; |