Source position: gtkwidget.inc line 532
procedure _gtk_widget_propagate_hierarchy_changed(
widget: PGtkWidget;
previous_toplevel: PGtkWidget
);