From 29356f8554fc7ace388375de3db8eef05f8b0fcc Mon Sep 17 00:00:00 2001
From: "maxime.batista" <maxime.batista@etu.uca.fr>
Date: Wed, 15 Nov 2023 14:28:30 +0100
Subject: [PATCH] change player rolenames to player nums

---
 front/views/Editor.tsx | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/front/views/Editor.tsx b/front/views/Editor.tsx
index e42e063..d7dccaa 100644
--- a/front/views/Editor.tsx
+++ b/front/views/Editor.tsx
@@ -15,7 +15,7 @@ const ERROR_STYLE: CSSProperties = {
 export default function Editor({id, name}: { id: number, name: string }) {
     const [style, setStyle] = useState<CSSProperties>({});
 
-    const positions = ["PG", "SG", "SF", "PF", "C"]
+    const positions = ["1", "2", "3", "4", "5"]
     const [allies, setAllies] = useState(
         positions.map(pos => <PlayerPiece team="allies" key={pos} text={pos}/>)
     )