phc/lean4game
6
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

use correct jsx capitalization

Browse Source
This commit is contained in:
Alexander Bentkamp
2022-12-20 16:32:19 +01:00
parent 56bf360ef5
commit 4fd5710b9d
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
client/src/components/Welcome.tsx
+2 -2
View File
@@ -35,7 +35,7 @@ function Welcome() {
if (gameInfo.data) {
for (let edge of gameInfo.data.worlds.edges) {
svgElements.push(
<line x1={nodes[edge[0]].x} y1={nodes[edge[0]].y} x2={nodes[edge[1]].x} y2={nodes[edge[1]].y} stroke="#1976d2" stroke-width="1"/>
<line x1={nodes[edge[0]].x} y1={nodes[edge[0]].y} x2={nodes[edge[1]].x} y2={nodes[edge[1]].y} stroke="#1976d2" strokeWidth="1"/>
)
}
for (let id in nodes) {
@@ -44,7 +44,7 @@ function Welcome() {
svgElements.push(
<Link to={`/world/${id}/level/1`}>
<circle fill="#61DAFB" cx={position.x} cy={position.y} r="8" />
<text style={{font: "italic 2px sans-serif", "text-anchor": "middle", "dominant-baseline": "middle"} as any} x={position.x} y={position.y}>{id}</text>
<text style={{font: "italic 2px sans-serif", textAnchor: "middle", dominantBaseline: "middle"} as any} x={position.x} y={position.y}>{id}</text>
</Link>
)