change player rolenames to player nums

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}/>)
     )