Source position: gtkwidget.inc line 397
procedure gtk_widget_set_double_buffered(
widget: PGtkWidget;
double_buffered: gboolean
);