diff options
| -rw-r--r-- | widgets/misc/e-web-view.c | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/widgets/misc/e-web-view.c b/widgets/misc/e-web-view.c index bb755b134c..e4d7be7e09 100644 --- a/widgets/misc/e-web-view.c +++ b/widgets/misc/e-web-view.c @@ -578,11 +578,20 @@ web_view_load_status_changed_cb (WebKitWebView *web_view, gpointer user_data) { WebKitLoadStatus status; + GtkAllocation allocation, allocation_copy; status = webkit_web_view_get_load_status (web_view); if (status != WEBKIT_LOAD_FINISHED) return; + /* 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)); } |