From f99c3223199607c646205a56f059d3c218eb70ee Mon Sep 17 00:00:00 2001 From: Gualdimar Date: Mon, 20 Feb 2023 15:07:30 +0200 Subject: [PATCH] Slider tip permanent by default (#8711) --- .../com/unciv/ui/components/UncivSlider.kt | 20 ++++++++++--------- .../mapeditorscreen/tabs/MapEditorEditTab.kt | 2 +- .../screens/newgamescreen/GameOptionsTable.kt | 6 ------ 3 files changed, 12 insertions(+), 16 deletions(-) diff --git a/core/src/com/unciv/ui/components/UncivSlider.kt b/core/src/com/unciv/ui/components/UncivSlider.kt index d27d7dabf3..ba013072e1 100644 --- a/core/src/com/unciv/ui/components/UncivSlider.kt +++ b/core/src/com/unciv/ui/components/UncivSlider.kt @@ -54,6 +54,7 @@ class UncivSlider ( plusMinus: Boolean = true, initial: Float, sound: UncivSound = UncivSound.Slider, + private var permanentTip: Boolean = true, private val getTipText: ((Float) -> String)? = null, onChange: ((Float) -> Unit)? = null ): Table(BaseScreen.skin) { @@ -76,7 +77,11 @@ class UncivSlider ( private val plusButton: IconCircleGroup? private val tipLabel = "".toLabel(Color.LIGHT_GRAY) private val tipContainer: Container