1
Je sais que je peux définir la taille de la police sur un javax.swing.text.DefaultStyledDocument
comme ceci:Réglage couleur de la police sur DefaultStyledDocument
public void apply(DefaultStyledDocument document) {
final MutableAttributeSet attributeSet = new SimpleAttributeSet();
StyleConstants.setFontSize(attributeSet, 12);
document.setCharacterAttributes(0, 80, attributeSet, false);
}
Comment configurer la couleur de police?