mirror of
https://github.com/wesnoth/wesnoth
synced 2025-05-06 18:28:18 +00:00

fixes a bug where all widgets except the button will fall back to the default definition.
fixes a bug where all widgets except the button will fall back to the default definition.