webmap: use Ints for player lat/lng
This commit is contained in:
parent
041d570aed
commit
f36e84ddf5
1 changed files with 4 additions and 1 deletions
|
|
@ -155,7 +155,10 @@ class PlayerState(
|
||||||
options.color = playerColour
|
options.color = playerColour
|
||||||
options.fillColor = playerColour
|
options.fillColor = playerColour
|
||||||
|
|
||||||
setTooltipContent("${playerDetails.name} [${playerDetails.latLng}]")
|
val lat = playerDetails.latLng.lat.toInt()
|
||||||
|
val lng = playerDetails.latLng.lng.toInt()
|
||||||
|
|
||||||
|
setTooltipContent("${playerDetails.name} [$lat, $lng]")
|
||||||
setLatLng(playerDetails.latLng)
|
setLatLng(playerDetails.latLng)
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue