diff options
| author | Paul Eggert | 2018-12-08 15:29:07 -0800 |
|---|---|---|
| committer | Paul Eggert | 2018-12-08 16:02:31 -0800 |
| commit | a9732737f2b48a78de72d67f6ed950495788ed1d (patch) | |
| tree | 8927fe42fc5572ba5c7e32106358bbb9e8b5909c /src | |
| parent | 287f86d360e183839a60ee6a9e2bbb664fcc8a20 (diff) | |
| download | emacs-a9732737f2b48a78de72d67f6ed950495788ed1d.tar.gz emacs-a9732737f2b48a78de72d67f6ed950495788ed1d.zip | |
Suppress WebKitGTK+ 2.21.1 diagnostics
* src/xwidget.c: Suppress deprecation warnings (Bug#33679).
Diffstat (limited to 'src')
| -rw-r--r-- | src/xwidget.c | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/xwidget.c b/src/xwidget.c index 6da7a0bb3f4..5a8b105f2fa 100644 --- a/src/xwidget.c +++ b/src/xwidget.c | |||
| @@ -30,6 +30,14 @@ along with GNU Emacs. If not, see <https://www.gnu.org/licenses/>. */ | |||
| 30 | #include <webkit2/webkit2.h> | 30 | #include <webkit2/webkit2.h> |
| 31 | #include <JavaScriptCore/JavaScript.h> | 31 | #include <JavaScriptCore/JavaScript.h> |
| 32 | 32 | ||
| 33 | /* Suppress GCC deprecation warnings starting in WebKitGTK+ 2.21.1 for | ||
| 34 | webkit_javascript_result_get_global_context and | ||
| 35 | webkit_javascript_result_get_value (Bug#33679). | ||
| 36 | FIXME: Use the JavaScriptCore GLib API instead, and remove this hack. */ | ||
| 37 | #if WEBKIT_CHECK_VERSION (2, 21, 1) && GNUC_PREREQ (4, 2, 0) | ||
| 38 | # pragma GCC diagnostic ignored "-Wdeprecated-declarations" | ||
| 39 | #endif | ||
| 40 | |||
| 33 | static struct xwidget * | 41 | static struct xwidget * |
| 34 | allocate_xwidget (void) | 42 | allocate_xwidget (void) |
| 35 | { | 43 | { |