mirror of
https://github.com/wesnoth/wesnoth
synced 2025-05-06 21:11:17 +00:00

The primary target of this change is hotkey labels in game menus. This aligns them all to the right of the menu and increases the space between them and the menu item label proper to attain a cleaner appearance.