Let keyboard hotkeys defined in the user preferences pass through

Let keyboard hotkeys defined in the user preferences pass through without generating a GdkEvent.

https://bugzilla.xamarin.com/show_bug.cgi?id=441