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 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74
| import java.awt.BorderLayout;
import java.awt.Toolkit;
import javax.swing.JFrame;
import javax.swing.JLabel;
import javax.swing.JTextArea;
import javax.swing.text.AbstractDocument;
import javax.swing.text.AttributeSet;
import javax.swing.text.BadLocationException;
import javax.swing.text.DocumentFilter;
public class DemoCompteur {
private static final int MAX_CHAR = 2000;
public static void main(String[] args) {
JFrame frame = new JFrame();
frame.setDefaultCloseOperation(JFrame.EXIT_ON_CLOSE);
JTextArea field = new JTextArea();
frame.add(field);
JLabel compteur = new JLabel("0");
frame.add(compteur,BorderLayout.SOUTH);
((AbstractDocument)field.getDocument()).setDocumentFilter(new DocumentFilter(){
@Override
public void insertString(FilterBypass fb, int offset, String string, AttributeSet attr)
throws BadLocationException {
if ( field.getDocument().getLength()<=MAX_CHAR) {
super.insertString(fb, offset, string, attr);
}
else {
Toolkit.getDefaultToolkit().beep(); // on beep pour avertir l'utilisateur
}
majCompteur();
}
@Override
public void replace(FilterBypass fb, int offset, int length, String text, AttributeSet attrs)
throws BadLocationException {
int currentLength = field.getDocument().getLength();
int futureLength = currentLength - length + text.length();
if ( futureLength>MAX_CHAR ) {
int exLength = futureLength-MAX_CHAR;
text = text.substring(0, text.length()-exLength);
}
if ( !text.isEmpty() ) {
super.replace(fb, offset, length, text, attrs);
}
else {
Toolkit.getDefaultToolkit().beep(); // on beep pour avertir l'utilisateur
}
majCompteur();
}
private void majCompteur() {
compteur.setText(String.valueOf(field.getDocument().getLength()));
}
@Override
public void remove(FilterBypass fb, int offset, int length) throws BadLocationException {
super.remove(fb, offset, length);
majCompteur();
}
});
field.setText("Texte par défaut"); // il est indispensable d'initialiser le texte après avoir enregistrer le DocumentFilter
frame.setSize(300, 300);
frame.setLocationRelativeTo(null);
frame.setVisible(true);
}
} |
Partager