mirror of
https://github.com/wesnoth/wesnoth
synced 2025-05-05 02:49:42 +00:00

* Gave the expand/shrink direction box label a trailing colon, and removed gratuituous blanks * Gave certain widgets a standard margin * Right-aligned dialog control buttons * Shortened "Resize Map" button label to just "Resize"