Surlignage et perte de focus

Bonjour,

j'utilise un JEditorPane dans lequel je surligne une partie du texte.
Mais dès que mon JEditorPane perd le focus, le surlignage disparaît.
J'aimerais conserver le surlignage et à la rigueur en changer la couleur lorsque le focus est pris par un autre widget.
Comment faire ?
Merci pour votre aide

Un petit bout de code que j'avais trouvé sur le net fait ce que tu veux :

Code:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
 
// Creates highlights around all occurrences of pattern in textComp
	public void highlight(JTextComponent textComp, String pattern) {
		// First remove all old highlights
		removeHighlights(textComp);
 
		try {
			Highlighter hilite = textComp.getHighlighter();
			Document doc = textComp.getDocument();
			String text = doc.getText(0, doc.getLength());
			int pos = 0;
 
			// Search for pattern
			while ((pos = text.indexOf(pattern, pos)) >= 0) {
				// Create highlighter using private painter and apply around
				// pattern
				hilite.addHighlight(pos, pos + pattern.length(),
						myHighlightPainter);
				pos += pattern.length();
			}
		} catch (BadLocationException e) {
		}
	}
 
	// Removes only our private highlights
	public void removeHighlights(JTextComponent textComp) {
		Highlighter hilite = textComp.getHighlighter();
		Highlighter.Highlight[] hilites = hilite.getHighlights();
 
		for (int i = 0; i < hilites.length; i++) {
			if (hilites[i].getPainter() instanceof MyHighlightPainter) {
				hilite.removeHighlight(hilites[i]);
			}
		}
	}
 
	// An instance of the private subclass of the default highlight painter
	Highlighter.HighlightPainter myHighlightPainter = (HighlightPainter) new MyHighlightPainter(
			new Color(205, 235, 255));
 
	// A private subclass of the default highlight painter
	class MyHighlightPainter extends DefaultHighlightPainter {
		public MyHighlightPainter(Color color) {
			super(color);
		}
	}

Pour l'appeler :

Code:

1
2
 
highlight(editeur, "une chaine");

+++
Ju

Super ça marche, merci