GtkWidgetClass:size_allocate: is it used?
There is a GtkWidgetClass:size_allocate() virtual function, which has no description in the devel doc, but it's there (at it proves to be useful in some cases). It seems it's not called. Is that used at all? What would be an appropriate replacement for a case when I want to modify child margin on a widget changed allocation size (width), please?