Source position: gtkwidget.inc line 550
procedure gtk_widget_queue_resize_no_redraw(
widget: PGtkWidget
);