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)
_______________________________________________
Spice-devel mailing list
Spice-devel@xxxxxxxxxxxxxxxxxxxxx
https://lists.freedesktop.org/mailman/listinfo/spice-devel