mirror of
https://github.com/wesnoth/wesnoth
synced 2025-05-09 16:48:01 +00:00
8a30f348b1
This replaces the page number slider with a "minimal" variant slider and an adjacent label widget whose text we enter manually. The label format is "<PAGE>/<COUNT>" and it's untranslatable. Hopefully this shouldn't cause any localization issues since it's all numbers and we currently can't use alternative numeral systems anyway. I'm leaving the page slider's maximum_value_label attribute intact just in case this needs to be reverted later, since it's going into the 1.12 branch too.