1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22
| public static void addTextConsole(String Text,char Style){
Style n = StyleContext.getDefaultStyleContext().getStyle(StyleContext.DEFAULT_STYLE);
StyledDocument doc = console.getStyledDocument();
try {
if(Style == 'i'){
Style i = console.addStyle("Italique", n);
StyleConstants.setItalic(i, true);
doc.insertString(doc.getLength(), Text,i);
}
else if(Style == 'b'){
Style b = console.addStyle("Gras", n);
StyleConstants.setBold(b, true);
doc.insertString(doc.getLength(), "\n"+Text,b);
}
else if(Style == 's'){
Style s = console.addStyle("Souligné", n);
StyleConstants.setUnderline(s, true);
doc.insertString(doc.getLength(), "\n"+Text+"\n",s);
}
else doc.insertString(doc.getLength(), Text ,n);
} catch (BadLocationException e) {}
} |
Partager