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
[email protected]
https://lists.freedesktop.org/mailman/listinfo/spice-devel
