[Commits] [wesnoth/wesnoth] 693e4b: Filter the list immediately when the player ticks/...

[GitHub]

  Branch: refs/heads/master
  Home:   https://github.com/wesnoth/wesnoth
  Commit: 693e4b4f87bf9ec9f368330c867e73aae099b1cb
      https://github.com/wesnoth/wesnoth/commit/693e4b4f87bf9ec9f368330c867e73aae099b1cb
  Author: Jyrki Vesterinen <sandgtx at gmail.com>
  Date:   2017-02-18 (Sat, 18 Feb 2017)

  Changed paths:
    M src/gui/dialogs/addon/manager.cpp
    M src/gui/dialogs/drop_down_menu.cpp
    M src/gui/dialogs/drop_down_menu.hpp
    M src/gui/widgets/menu_button.cpp
    M src/gui/widgets/menu_button.hpp

  Log Message:
  -----------
  Filter the list immediately when the player ticks/unticks checkboxes

Don't wait for the player to close the dropdown first.