Destroy the thumb_view with WebKitGTK+ <> 1.1.14

diff --git a/midori/midori-view.c b/midori/midori-view.c
index 47979547e9def404be0c0a98c1222f6c34916b95..071cf9d8fc8233ee2d0cc9b9e9a77b56093b9aa9 100644 (file)
--- a/midori/midori-view.c
+++ b/midori/midori-view.c
@@ -4643,8 +4643,8 @@ thumb_view_load_status_cb (MidoriView* thumb_view,
     g_signal_handlers_disconnect_by_func (
        thumb_view, thumb_view_load_status_cb, view);
 
-    /* Destroying the view here may trigger a WebKitGTK+ bug */
-    #if !WEBKIT_CHECK_VERSION (1, 1, 14)
+    /* Destroying the view here may trigger a WebKitGTK+ 1.1.14 bug */
+    #if !WEBKIT_CHECK_VERSION (1, 1, 14) || WEBKIT_CHECK_VERSION (1, 1, 15)
     gtk_widget_destroy (GTK_WIDGET (thumb_view));
     view->thumb_view = NULL;
     #endif