2024-04-28 13:16:31 +02:00
|
|
|
import java.awt.event.*;
|
|
|
|
import javax.swing.*;
|
|
|
|
|
|
|
|
|
|
|
|
public class TextFilter extends KeyAdapter {
|
|
|
|
|
|
|
|
private JTextField Text;
|
|
|
|
|
|
|
|
public TextFilter (JTextField t) {
|
|
|
|
|
|
|
|
this.Text = t;
|
|
|
|
}
|
|
|
|
|
|
|
|
@Override
|
|
|
|
|
|
|
|
public void keyTyped(KeyEvent e) {
|
2024-04-29 15:08:14 +02:00
|
|
|
|
2024-04-28 13:16:31 +02:00
|
|
|
char chaine = e.getKeyChar();
|
|
|
|
|
2024-04-29 15:08:14 +02:00
|
|
|
int taille = this.Text.getText().length();
|
2024-04-28 13:16:31 +02:00
|
|
|
|
|
|
|
if ( ((chaine < '0') || (chaine > '9')) && (chaine != KeyEvent.VK_BACK_SPACE)) {
|
|
|
|
e.consume(); // ignorer l'événement
|
|
|
|
}
|
|
|
|
|
|
|
|
if ( taille >= 1 ) {
|
|
|
|
|
|
|
|
e.consume();
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
}
|
|
|
|
}
|