Révision 2064
| tmp/org.txm.edition.rcp/src/org/txm/edition/rcp/editors/EditionPanel.java (revision 2064) | ||
|---|---|---|
| 1214 | 1214 |
} |
| 1215 | 1215 |
|
| 1216 | 1216 |
/** |
| 1217 |
* Clear all highlighted words
|
|
| 1217 |
* Clears all highlighted words.
|
|
| 1218 | 1218 |
*/ |
| 1219 | 1219 |
public void removeHighlightWords() {
|
| 1220 | 1220 |
|
| 1221 |
// FIXME: SJ: this code leads to a concurrenty modification exception on Windows
|
|
| 1221 |
// FIXME: SJ: this code leads to a concurrency modification exception on Windows
|
|
| 1222 | 1222 |
// Set<String> keys = highlightedColorPerWordIDS.keySet(); |
| 1223 | 1223 |
// for (String key : keys) {
|
| 1224 | 1224 |
// highlightedColorPerWordIDS.remove(key); |
Formats disponibles : Unified diff