mono/bockbuild — pull request #6 by bratsche (2013-10-29 02:06:11+00:00)
Title: 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