Ubuntu

Comment 5 for bug 865807

This is a patch for the issue. The button id ist simply added to the list of hotkeys and behaves like the other listed p-key.