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
| StyledDocument doc = tpEtatsCompilation.getStyledDocument();
Style defaut = StyleContext.getDefaultStyleContext().getStyle(StyleContext.DEFAULT_STYLE);
Style stylePolice = doc.addStyle("0", defaut);
StyleConstants.setFontFamily (stylePolice, "Courier");
StyleConstants.setFontSize (stylePolice, 13);
StyleConstants.setForeground(stylePolice, Color.black);
stylePolice = doc.addStyle("1", stylePolice);
StyleConstants.setForeground(stylePolice, Color.orange);
stylePolice = doc.addStyle("2", stylePolice);
StyleConstants.setForeground(stylePolice, Color.red);
//Ajoute le texte avec le style désiré
try {
switch (typeErreur){
case(0) : doc.insertString(0, comment+"\n", doc.getStyle("0"));break;
case(1) : doc.insertString(0, comment+"\n", doc.getStyle("1"));break;
case(2) : { doc.insertString(0, comment+"\n", doc.getStyle("2"));
JOptionPane.showMessageDialog(this,
"Erreur durant la compilation : "+comment,
"Erreur",
JOptionPane.ERROR_MESSAGE);
// Aller à l'étape en cause
break;}
}
}catch (BadLocationException ble){
} |
Partager