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.