diff options
| author | Neil Hodgson <devnull@localhost> | 2015-01-22 15:05:58 +1100 |
|---|---|---|
| committer | Neil Hodgson <devnull@localhost> | 2015-01-22 15:05:58 +1100 |
| commit | c81055e83c5a351485c69b3a546cc3fd161a61fc (patch) | |
| tree | 821e8df50b27e9033ebc0b2aad881255d127e1cd | |
| parent | 686d27891d4a16e8ca08d9caef4aa38090e4a69c (diff) | |
| download | scintilla-mirror-c81055e83c5a351485c69b3a546cc3fd161a61fc.tar.gz | |
Since gtk_widget_set_double_buffered is deprecated by GTK+ 3.14, only use it
when building for earlier versions.
| -rw-r--r-- | gtk/ScintillaGTK.cxx | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gtk/ScintillaGTK.cxx b/gtk/ScintillaGTK.cxx index ca08166a3..d008215d0 100644 --- a/gtk/ScintillaGTK.cxx +++ b/gtk/ScintillaGTK.cxx @@ -811,8 +811,10 @@ void ScintillaGTK::Initialise() { if (gtk_check_version(3,9,2) != NULL /* on < 3.9.2 */) #endif { +#if !GTK_CHECK_VERSION(3,14,0) // Avoid background drawing flash/missing redraws gtk_widget_set_double_buffered(widtxt, FALSE); +#endif } gtk_widget_set_events(widtxt, GDK_EXPOSURE_MASK); gtk_widget_set_size_request(widtxt, 100, 100); |