Source position: gtkwidget.inc line 304
function GTK_WIDGET_DOUBLE_BUFFERED(
wid: pointer
):gboolean;