Revision 2062
| tmp/org.txm.edition.rcp/src/org/txm/edition/rcp/editors/EditionPanel.java (revision 2062) | ||
|---|---|---|
| 1217 | 1217 |
* Clear all highlighted words |
| 1218 | 1218 |
*/ |
| 1219 | 1219 |
public void removeHighlightWords() {
|
| 1220 |
Set<String> keys = highlightedColorPerWordIDS.keySet(); |
|
| 1221 |
for (String key : keys) {
|
|
| 1222 |
highlightedColorPerWordIDS.remove(key); |
|
| 1223 |
} |
|
| 1220 |
|
|
| 1221 |
// FIXME: SJ: this code leads to a concurrenty modification exception on Windows |
|
| 1222 |
// Set<String> keys = highlightedColorPerWordIDS.keySet(); |
|
| 1223 |
// for (String key : keys) {
|
|
| 1224 |
// highlightedColorPerWordIDS.remove(key); |
|
| 1225 |
// } |
|
| 1226 |
|
|
| 1227 |
// SJ: new version tests |
|
| 1228 |
highlightedColorPerWordIDS.clear(); |
|
| 1229 |
|
|
| 1230 |
|
|
| 1231 |
|
|
| 1224 | 1232 |
} |
| 1225 | 1233 |
} |
Also available in: Unified diff