Supprimer TextFilter.java~

2024-04-28 13:20:44 +02:00
parent 69b87b6ff3
commit 4610a57cb6
1 changed files with 0 additions and 14 deletions
--- a/TextFilter.java~
+++ b/TextFilter.java~
@@ -1,14 +0,0 @@
-import java.awt.event.KeyListener;
-
-
-public class TextFilter implements KeyListener  {
-
-    @Override
-
-    public void keyTyped(KeyEvent e) {
-	char c = e.getKeyChar();
-	if ( ((c < '0') || (c > '9')) && (c != KeyEvent.VK_BACK_SPACE)) {
-	    e.consume();  // ignorer l'événement
-	}
-    }
-}