a90c81b2c7
In the change from widget->allocation to gtk_widget_get_allocation(), one addition of gtk_widget_get_allocation() was missed. Add it.