[Commits] [wesnoth/wesnoth] 187731: Addons Manager: display full info of local, unpubl...

[GitHub]

  Branch: refs/heads/master
  Home:   https://github.com/wesnoth/wesnoth
  Commit: 187731cedfd3351f271a5b024bcc963ca9ce8356
      https://github.com/wesnoth/wesnoth/commit/187731cedfd3351f271a5b024bcc963ca9ce8356
  Author: Charles Dang <exodia339 at gmail.com>
  Date:   2017-02-15 (Wed, 15 Feb 2017)

  Changed paths:
    M src/addon/info.hpp
    M src/addon/state.cpp
    M src/gui/dialogs/addon/manager.cpp
    M src/gui/dialogs/addon/manager.hpp
    M src/gui/widgets/addon_list.cpp

  Log Message:
  -----------
  Addons Manager: display full info of local, unpublished addons

This works by changing the assumption that any addon with addon_info provided is a remote one. Instead, we
construct a addon_info object locally and consider it along with the rest of the addons.

This also fixes a few crashes when using filters in the manager.