debian/midori
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Fix build with WebKit < 1.1.14

Browse source
This commit is contained in:
Christian Dywan 2009-09-20 21:49:57 +02:00
parent 72ba3a700b
commit ebb3b5f374
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
midori/midori-view.c
View file

@ -1052,10 +1052,10 @@ gtk_widget_button_press_event_cb (WebKitWebView* web_view,
} }
else if (view->middle_click_opens_selection) else if (view->middle_click_opens_selection)
{ {
gboolean is_editable;
#if WEBKIT_CHECK_VERSION (1, 1, 15) #if WEBKIT_CHECK_VERSION (1, 1, 15)
WebKitHitTestResult* result; WebKitHitTestResult* result;
WebKitHitTestResultContext context; WebKitHitTestResultContext context;
gboolean is_editable;
result = webkit_web_view_get_hit_test_result (web_view, event); result = webkit_web_view_get_hit_test_result (web_view, event);
context = katze_object_get_int (result, "context"); context = katze_object_get_int (result, "context");
@ -1448,7 +1448,7 @@ webkit_web_view_populate_popup_cb (WebKitWebView* web_view,
if (!strcmp (stock_id, GTK_STOCK_FIND)) if (!strcmp (stock_id, GTK_STOCK_FIND))
{ {
gtk_widget_hide (menuitem); gtk_widget_hide (menuitem);
gtk_widget_set_no_show_all (menuitem); gtk_widget_set_no_show_all (menuitem, TRUE);
menuitem = (GtkWidget*)g_list_nth_data (items, 1); menuitem = (GtkWidget*)g_list_nth_data (items, 1);
gtk_widget_hide (menuitem); gtk_widget_hide (menuitem);
menuitem = (GtkWidget*)g_list_nth_data (items, 2); menuitem = (GtkWidget*)g_list_nth_data (items, 2);