[Commits] [wesnoth/wesnoth] 872dc7: Editor Display: add more override specifiers

[GitHub]

  Branch: refs/heads/master
  Home:   https://github.com/wesnoth/wesnoth
  Commit: 872dc7646dfcdad4315908dd3646264523d90953
      https://github.com/wesnoth/wesnoth/commit/872dc7646dfcdad4315908dd3646264523d90953
  Author: Charles Dang <exodia339 at gmail.com>
  Date:   2017-04-25 (Tue, 25 Apr 2017)

  Changed paths:
    M src/editor/editor_display.hpp

  Log Message:
  -----------
  Editor Display: add more override specifiers