This task should help to gain all Reports concerning problems with Menu 'Tools -> Customize -> Key board'. When you find additional reports that might be related please add the Bug number and found your nomination with 1-2 lines.
Nothing has been added to this bug report for a long time, therefore I would propose to close this issue. Does anybody has any objections against closing this issue?
Use of freedesktop.org services, including Bugzilla, is subject to our Code of Conduct. How we collect and use information is described in our Privacy Policy.