Merge pull request #2770 from Armada651/modal-hotkeys FrameTools: Disable hotkeys while a modal dialog is shown.
