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