Hi ----- Original Message ----- > Hi, > > This fixes the "top border" in spicy. > > considering how the allocation is used I would prefer some helper > function to get the width and height. > I will replace it with gtk_widget_get_allocated_{width,height} (don't know how I missed it)