evolution/evolution-3.5.92-flatten.patch
2012-09-22 08:35:10 -07:00

41 lines
1.4 KiB
Diff

diff --git a/widgets/misc/e-web-view.c b/widgets/misc/e-web-view.c
index b1d726d..520d0b1 100644
--- a/widgets/misc/e-web-view.c
+++ b/widgets/misc/e-web-view.c
@@ -578,26 +578,23 @@ web_view_navigation_policy_decision_requested_cb (EWebView *web_view,
}
static void
-web_view_load_status_changed_cb (WebKitWebView *web_view,
+web_view_load_status_changed_cb (WebKitWebView *webkit_web_view,
GParamSpec *pspec,
gpointer user_data)
{
WebKitLoadStatus status;
- GtkAllocation allocation, allocation_copy;
+ EWebView *web_view;
- status = webkit_web_view_get_load_status (web_view);
+ status = webkit_web_view_get_load_status (webkit_web_view);
if (status != WEBKIT_LOAD_FINISHED)
return;
+ web_view = E_WEB_VIEW (webkit_web_view);
+ web_view_update_document_highlights (web_view);
+
/* Workaround webkit bug https://bugs.webkit.org/show_bug.cgi?id=89553 */
- gtk_widget_get_allocation (GTK_WIDGET (web_view), &allocation_copy);
- allocation = allocation_copy;
- allocation.width -= 10;
- allocation.height -= 10;
- gtk_widget_size_allocate (GTK_WIDGET (web_view), &allocation);
- gtk_widget_size_allocate (GTK_WIDGET (web_view), &allocation_copy);
-
- web_view_update_document_highlights (E_WEB_VIEW (web_view));
+ e_web_view_zoom_in (web_view);
+ e_web_view_zoom_out (web_view);
}
static void