implement binding for gtk_widget_set_double_buffered