mirror of
https://github.com/wesnoth/wesnoth
synced 2025-04-26 16:02:56 +00:00
52cba5fc63
Since GUI1 widgets seem to rely on the given font size values in font.hpp for their dimensions, those are unchanged. ThemeWML-provided sizes were adjusted, and larger sizes assigned to elements that were too small with the new font. Theme element rects were also adjusted as necessary.