void set_double_buffered(bool double_buffered);