# HG changeset patch
# User bsmith@81767d24-ef19-dc11-ae90-00e081727c95
# Date 1679971894 0
# Node ID 0c5abc2ad5c53c03a628b6f68fab74afce0729b3
# Parent  e5d2c74b1a51abf2f04fb838fdc4c5fb5975f07d
GTK3: Fix building without WebKit2GTK development installed.

diff -r e5d2c74b1a51 -r 0c5abc2ad5c5 gtk3/dw.c
--- a/gtk3/dw.c	Mon Mar 27 08:46:23 2023 +0000
+++ b/gtk3/dw.c	Tue Mar 28 02:51:34 2023 +0000
@@ -171,9 +171,9 @@
 static gint _dw_switch_page_event(GtkNotebook *notebook, GtkWidget *page, guint page_num, gpointer data);
 static gint _dw_column_click_event(GtkWidget *widget, gpointer data);
 static void _dw_html_result_event(GObject *object, GAsyncResult *result, gpointer script_data);
-static void _dw_html_message_event(WebKitUserContentManager *manager, WebKitJavascriptResult *result, gpointer *data);
 #ifdef USE_WEBKIT
 #ifdef USE_WEBKIT2
+static void _dw_html_message_event(WebKitUserContentManager *manager, WebKitJavascriptResult *result, gpointer *data);
 static void _dw_html_changed_event(WebKitWebView  *web_view, WebKitLoadEvent load_event, gpointer data);
 #else
 static void _dw_html_changed_event(WebKitWebView  *web_view, WebKitWebFrame *frame, gpointer user_data);
@@ -232,7 +232,9 @@
    { _dw_generic_event,           DW_SIGNAL_HTML_CHANGED },
 #endif
    { _dw_html_result_event,       DW_SIGNAL_HTML_RESULT },
+#ifdef USE_WEBKIT2
    { _dw_html_message_event,      DW_SIGNAL_HTML_MESSAGE },
+#endif
    { NULL,                        "" }
 };