[Commits] [wesnoth/wesnoth] 73ba4c: Addons Manager: removed Options button

[GitHub]

  Branch: refs/heads/master
  Home:   https://github.com/wesnoth/wesnoth
  Commit: 73ba4cc4b13c6bc729555fe2aa7fa25e8e834e4f
      https://github.com/wesnoth/wesnoth/commit/73ba4cc4b13c6bc729555fe2aa7fa25e8e834e4f
  Author: Charles Dang <exodia339 at gmail.com>
  Date:   2017-02-24 (Fri, 24 Feb 2017)

  Changed paths:
    M data/gui/window/addon_manager.cfg
    M src/gui/dialogs/addon/manager.cpp
    M src/gui/dialogs/addon/manager.hpp

  Log Message:
  -----------
  Addons Manager: removed Options button

All the useful filter options have been migrated to in-dialog widgets, so the Options dialog isn't needed anymore.
Do note that the default filter order and ascending/descending options weren't migrated, but they could still be
if it was deemed necessary.