Since gtk_widget_set_double_buffered is deprecated by GTK+ 3.14, only use it when building for earlier versions.
Since gtk_widget_set_double_buffered is deprecated by GTK+ 3.14, only use it
when building for earlier versions.

R1dO/scintilla_clone,R1dO/scintilla_clone,R1dO/scintilla_clone,R1dO/scintilla_clone,R1dO/scintilla_clone,R1dO/scintilla_clone,R1dO/scintilla_clone,R1dO/scintilla_clone