Révision 2465
| tmp/org.txm.rcp/src/main/java/org/txm/rcp/handlers/results/DeleteObject.java (revision 2465) | ||
|---|---|---|
| 292 | 292 |
} |
| 293 | 293 |
|
| 294 | 294 |
TXMResult r = (TXMResult) o; |
| 295 |
List<TXMResult> all = new ArrayList<>();// r.getDeepChildren();
|
|
| 295 |
HashSet<TXMResult> all = new HashSet<>();// r.getDeepChildren();
|
|
| 296 | 296 |
all.add(r); |
| 297 | 297 |
if (children) {
|
| 298 | 298 |
all.addAll(r.getDeepChildren()); |
| 299 | 299 |
} |
| 300 |
ArrayList<ITXMResultEditor<?>> editors = SWTEditorsUtils.getEditors();
|
|
| 300 |
HashSet<ITXMResultEditor<?>> editors = new HashSet<>(SWTEditorsUtils.getEditors());
|
|
| 301 | 301 |
for (TXMResult tr : all) { // close editors of the result and its children
|
| 302 | 302 |
for (ITXMResultEditor<?> editor : editors) {
|
| 303 | 303 |
if (tr == editor.getResult()) {
|
Formats disponibles : Unified diff