[Commits] [wesnoth/wesnoth-old] 89f612: gui1: Add some horizontal padding to menu header c...

[GitHub]

  Branch: refs/heads/master
  Home:   https://github.com/wesnoth/wesnoth-old
  Commit: 89f612a5ffb72312873abfa0a96fcbf91adaa8d8
      https://github.com/wesnoth/wesnoth-old/commit/89f612a5ffb72312873abfa0a96fcbf91adaa8d8
  Author: Ignacio R. Morelle <shadowm at wesnoth.org>
  Date:   2014-02-15 (Sat, 15 Feb 2014)

  Changed paths:
    M src/widgets/menu.cpp

  Log Message:
  -----------
  gui1: Add some horizontal padding to menu header column text and sort indicator

Otherwise they are drawn on the very edge of the column, which isn't
nice.


  Commit: f8f9338d5544315449bd2372904e4f782433edc5
      https://github.com/wesnoth/wesnoth-old/commit/f8f9338d5544315449bd2372904e4f782433edc5
  Author: Ignacio R. Morelle <shadowm at wesnoth.org>
  Date:   2014-02-15 (Sat, 15 Feb 2014)

  Changed paths:
    M src/widgets/menu.cpp

  Log Message:
  -----------
  gui1: Highlight currently-sorted column header even when not hovered


Compare: https://github.com/wesnoth/wesnoth-old/compare/e992f4eb8476...f8f9338d5544