Unfortunately.. the hack only work for this bug but not bug#12510. Here is the new fix: calling {EV_GTK_EXTERNALS}.gtk_widget_destroy (l_c_object) when a {EV_SCROLLABLE_AREA} is destroyed.

See bug#12510 for more details.