GtkWidget::set_double_buffered

void set_double_buffered(bool double_buffered);