Do not use Gtk.Widget.double_buffered

It no longer does anything. Le sigh.