gtk_widget_set_double_buffered() is deprecated in gtk+ 3.14

The code isn't required anyway because the documentation states that

> Widgets are double buffered by default