[Commits] [wesnoth/wesnoth] b68471: Addon Manager: enable markup in details title

[GitHub]

  Branch: refs/heads/master
  Home:   https://github.com/wesnoth/wesnoth
  Commit: b6847141f28201f017ac6539d4b09e5284ded290
      https://github.com/wesnoth/wesnoth/commit/b6847141f28201f017ac6539d4b09e5284ded290
  Author: Charles Dang <exodia339 at gmail.com>
  Date:   2017-09-15 (Fri, 15 Sep 2017)

  Changed paths:
    M data/gui/window/addon_manager.cfg

  Log Message:
  -----------
  Addon Manager: enable markup in details title

[ci skip]

This is necessary since addon_info::display_name escapes markup (see 88ebb72b98e). Without this,
certain characters like "'" don't display properly. It might be worth revisiting this at some
point and only escape formatting in specific cases where it's used with markup-enabled widgets,
but this is a quick solution.