9acdb8012c
gdk_window_set_composited() is deprecated, and we don't need it as we end up setting it to the default anyway. We do need gtk_widget_set_double_buffered() though, which has been deprecated as well because it is only meaningful on X11 - but so is XEmbed, so just shut up that warning.