[wesnoth-commits] [wesnoth/wesnoth] 8094f8: gui1: Make button font size configurable

[Iris Morelle]

  Branch: refs/heads/master
  Home:   https://github.com/wesnoth/wesnoth
  Commit: 8094f8c245531932356d14a8600190a425e6feed
      https://github.com/wesnoth/wesnoth/commit/8094f8c245531932356d14a8600190a425e6feed
  Author: Iris Morelle <shadowm at wesnoth.org>
  Date:   2021-03-19 (Fri, 19 Mar 2021)

  Changed paths:
    M src/widgets/button.cpp
    M src/widgets/button.hpp

  Log Message:
  -----------
  gui1: Make button font size configurable


  Commit: d3de899186fb6e1fc0f2637cbe0b4cea7d05c1b9
      https://github.com/wesnoth/wesnoth/commit/d3de899186fb6e1fc0f2637cbe0b4cea7d05c1b9
  Author: Iris Morelle <shadowm at wesnoth.org>
  Date:   2021-03-19 (Fri, 19 Mar 2021)

  Changed paths:
    M changelog.md
    M src/display.cpp
    M src/font/constants.cpp
    M src/font/constants.hpp

  Log Message:
  -----------
  Use a smaller font size for theme UI buttons

The impact of increasing button sizes on the top bar and replay UI
is a bit worse than expected and I can't be bothered to deal with the
consequences at this time.


Compare: https://github.com/wesnoth/wesnoth/compare/1fe3468a92e8...d3de899186fb