From 4610a57cb6823044c1c1e089f9a1343ff8ac0627 Mon Sep 17 00:00:00 2001
From: keraudre <yann.keraudren@etu.u-pec.fr>
Date: Sun, 28 Apr 2024 13:20:44 +0200
Subject: [PATCH] Supprimer TextFilter.java~

---
 TextFilter.java~ | 14 --------------
 1 file changed, 14 deletions(-)
 delete mode 100644 TextFilter.java~

diff --git a/TextFilter.java~ b/TextFilter.java~
deleted file mode 100644
index 94a00c6..0000000
--- a/TextFilter.java~
+++ /dev/null
@@ -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
-	}
-    }
-}