From David Gonzalez Maline: - Button hot keys were not working if NumLock is ON.   This patch fixes the problem.
From David Gonzalez Maline:
- Button hot keys were not working if NumLock is ON.
  This patch fixes the problem.


git-svn-id: ecbadac9c76e8cf640a0bca86f6bd796c98521e3@15977 27541ba8-7e3a-0410-8455-c3a389f83636

bbannier/ROOT,dawehner/root,bbannier/ROOT,dawehner/root,dawehner/root,bbannier/ROOT,bbannier/ROOT,dawehner/root,dawehner/root,bbannier/ROOT,dawehner/root,bbannier/ROOT,bbannier/ROOT,dawehner/root,dawehner/root