Added feature #0011773: Integrate an option to deactivate shortcuts completely ...