mirror of
https://github.com/wesnoth/wesnoth
synced 2025-05-18 23:33:15 +00:00

This change allows to change to the 'to be added' stacked widget later on, also fixes the issue that the campaign text ended up in the border.
This change allows to change to the 'to be added' stacked widget later on, also fixes the issue that the campaign text ended up in the border.