bah, si tu utilises Swing, il faut utiliser un javax.swing.text.DefaultStyledDocument dans ton JTextArea (si tu utilises un JTextArea) : en utilisant un AttributeSet pour "tuner" les caractéristiques de ton texte : tu utilises ensuite :
document.insertString(position, texte, attributeSet), ton texte est ajouté dans le document, avec les bons attributs...
En l'occurence, pour écrire en rouge gras :
Code :
- SimpleAttributeSet sas = new SimpleAttributeSet();
- StyleConstants.setBold(sas, true);
- StyleConstants.setForeground(sas, Color.red);
- doc.insertString(position, "machin s'est déconnecté", sas);
|
Je ne saurais trop te conseiller de lire les docs de Document, AttributeSet, etc... : en effet, c'est des vieux souvenirs, et je peux m'être trompé!
Message édité par gfive le 29-01-2003 à 14:44:13