mono/monodevelop — pull request #371 by bratsche (2013-08-06 21:21:51+00:00)
Title: Remove the GTK+ focus hack

Remove the GTK+ focus hack that was introduced in commits
2858e62204a1fabb92a6a6b09e2f7ba7fcff7cd8 and
33d656f29b18c805172ae8864cda9b358c8f92a3

This appears to be fixed in one of the more recent GTK+ Quartz
focus patches.