mirror of
https://github.com/wesnoth/wesnoth
synced 2025-05-10 06:48:44 +00:00

Fixes the text of menu_buttons being 1 pixel too high. Seems this is a relic from 2016 and me tweaking the formula to try and get things more centered in buttons... But in that case, adjustments shuld probably be directly made to buttons, not here.