Added a workaround for a wxWidgets2.9.4 problem in GTK2 where a drag
leave event is sent before the drag drop event.