Révision 3748

TXM/trunk/bundles/org.txm.edition.rcp/src/org/txm/edition/rcp/handlers/BackToText.java (revision 3748)
80 80
81 81 
	public final static RGBA red = new RGBA(249, 160, 160);
82 82
83 
	public final static RGBA lightblue = new RGBA(208, 208, 249);
84
85 
	public final static RGBA blue = new RGBA(160, 160, 249);
86
83 87 
	/**
84 88 
	 * stores previous highlights to clean styling
85 89 
	 */
TXM/trunk/bundles/org.txm.edition.rcp/src/org/txm/edition/rcp/editors/SearchEditionToolbar.java (revision 3748)
294 294 
		if (searchResult != null && searchIndex >= 0) {
295 295 
			try {
296 296 
				if (foundWordids != null) {
297 
					editor.removeHighlightWordsById(BackToText.red, foundWordids);
297 
					editor.removeHighlightWordsById(BackToText.blue, foundWordids);
298 298 
					editor.setFocusedWordID(null);
299 299 
					editor.updateWordStyles();
300 300 
				}
......
305 305 
				if (foundWordids.size() == 0) return;
306 306
307 307 
				editor.backToText(editor.getResult().getProject().getText(text), foundWordids.get(0));
308 
				editor.addHighlightWordsById(BackToText.lightred, foundWordids);
308 
				editor.addHighlightWordsById(BackToText.blue, foundWordids);
309 309 
				editor.setFocusedWordID(foundWordids.get(0));
310 310 
				editor.updateWordStyles();
311 311 
			}

Formats disponibles : Unified diff