mono/monodevelop — pull request #368 by bratsche (2013-08-06 01:56:11+00:00)
Title: Fix the statusbar's resize grip

Fix the statusbar's resize grip by using an EventBox instead of a Label, and then listening for a button press to initiate the resize.