Make sure keyboard shortcuts can be controlled by users