-
Jasper St. Pierre authored
gtk_widget_set_double_buffered is now deprecated, and we don't support non-double-buffered widgets. This means that under normal circumstances, paints are never outside of a begin_paint / end_paint sequence, which natively-double-buffered backends like Wayland can't possibly support.
b875572f