[Commits] [wesnoth/wesnoth] ae4cf2: Fix for bug #21717: "F5->reload" doesn't work in e...

[GitHub]

  Branch: refs/heads/master
  Home:   https://github.com/wesnoth/wesnoth
  Commit: ae4cf2ac9816fa4aafc95061e327c1c415218933
      https://github.com/wesnoth/wesnoth/commit/ae4cf2ac9816fa4aafc95061e327c1c415218933
  Author: fendrin <fabianmueller5 at gmx.de>
  Date:   2014-05-07 (Wed, 07 May 2014)

  Changed paths:
    M src/hotkey/hotkey_command.cpp

  Log Message:
  -----------
  Fix for bug #21717: "F5->reload" doesn't work in editor

Moved the hotkey into the "General" scope.
This commit must be backported into the 1.12 branch before closing the
bug.