rem: allocation->height));
add: allocation->height);
context: gtk_xine_size_allocate (GtkWidget * widget, GtkAllocation * allocation){	GtkXine *gtx;	g_return_if_fail (widget != NULL);	g_return_if_fail (GTK_IS_XINE (widget));	D (g_message ("ALLOCATE x: %d y: %d w: %d h: %d", allocation->x,		      allocation->y, allocation->width,		      allocation->height));	gtx = GTK_XINE (widget);	widget->allocation = *allocation;	gtx->priv->xpos = allocation->x;	gtx->priv->ypos = allocation->y;	if (GTK_WIDGET_REALIZED (widget)) {		/* HACK it seems to be 1 pixel off, weird */		gdk_window_move_resize (widget->window,					allocation->x - 1,					allocation->y - 1,					allocation->width,					allocation->height);	}}