Disable Refresh and Show Developer Tools commands if the Debug menu is hidden
Merge pull request #2888 from TomMalbran/tom/fix-issue-2877

Fix Issue #2877: Debug menu shortcuts are enabled even when Debug menu is hidden