From 2b7e279b4dee912b8396cda2e5eb6415324ffd45 Mon Sep 17 00:00:00 2001 From: Yair Morgenstern Date: Sun, 23 Jan 2022 19:07:08 +0200 Subject: [PATCH] 2-digit numbers no longer clip with the outwards circle. This is really minor. --- core/src/com/unciv/ui/pickerscreens/TechButton.kt | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/core/src/com/unciv/ui/pickerscreens/TechButton.kt b/core/src/com/unciv/ui/pickerscreens/TechButton.kt index 20feef8b1d..d8c87b6896 100644 --- a/core/src/com/unciv/ui/pickerscreens/TechButton.kt +++ b/core/src/com/unciv/ui/pickerscreens/TechButton.kt @@ -66,7 +66,7 @@ class TechButton(techName:String, private val techManager: TechManager, isWorldS addActor(closeImage) }) - for (improvement in ruleset.tileImprovements.values + for (improvement in ruleset.tileImprovements.values.asSequence() .filter { it.techRequired == techName || it.uniqueObjects.any { u -> u.allParams.contains(techName) } @@ -92,8 +92,8 @@ class TechButton(techName:String, private val techManager: TechManager, isWorldS fun addOrderIndicator(number:Int){ orderIndicator = number.toString().toLabel(fontSize = 18) .apply { setAlignment(Align.center) } - .surroundWithCircle(25f, color = ImageGetter.getBlue()) - .surroundWithCircle(27f,false) + .surroundWithCircle(28f, color = ImageGetter.getBlue()) + .surroundWithCircle(30f,false) orderIndicator!!.setPosition(0f, height, Align.topLeft) addActor(orderIndicator) }