mirror of
https://github.com/wesnoth/wesnoth
synced 2025-04-28 03:45:08 +00:00

The various panels had external headers for some reason, in spite of two of them being listboxes with their own internal headers. By removing those external headers (and making the rightmost panel's scroll_label have an associated header with a cell padding trick to make it look consistent with the listboxes' headers) we can save some valuable vertical space. This commit also changes a few strings in order to clarify the purpose of each panel.