diff -ur orig/webkitgtk-1.10.1/Source/WebCore/platform/gtk/ScrollViewGtk.cpp webkitgtk-1.10.1/Source/WebCore/platform/gtk/ScrollViewGtk.cpp
old
|
new
|
|
87 | 87 | GtkAllocation allocation; |
88 | 88 | gtk_widget_get_allocation(measuredWidget, &allocation); |
89 | 89 | return IntRect(IntPoint(m_scrollOffset.width(), m_scrollOffset.height()), |
90 | | IntSize(allocation.width, allocation.height)); |
| 90 | IntSize(allocation.width / 1.4, allocation.height / 1.4)); |
91 | 91 | } |
92 | 92 | |
93 | 93 | void ScrollView::setScrollbarModes(ScrollbarMode horizontalMode, ScrollbarMode verticalMode, bool horizontalLock, bool verticalLock) |
diff -ur orig/webkitgtk-1.10.1/Source/WebCore/platform/ScrollView.cpp webkitgtk-1.10.1/Source/WebCore/platform/ScrollView.cpp
old
|
new
|
|
675 | 675 | |
676 | 676 | if (canBlitOnScroll()) { // The main frame can just blit the WebView window |
677 | 677 | // FIXME: Find a way to scroll subframes with this faster path |
678 | | if (!scrollContentsFastPath(-scrollDelta, scrollViewRect, clipRect)) |
| 678 | //if (!scrollContentsFastPath(-scrollDelta, scrollViewRect, clipRect)) |
679 | 679 | scrollContentsSlowPath(updateRect); |
680 | 680 | } else { |
681 | 681 | // We need to go ahead and repaint the entire backing store. Do it now before moving the |
diff -ur orig/webkitgtk-1.10.1/Source/WebKit/gtk/WebCoreSupport/ChromeClientGtk.cpp webkitgtk-1.10.1/Source/WebKit/gtk/WebCoreSupport/ChromeClientGtk.cpp
old
|
new
|
|
546 | 546 | for (size_t i = 0; i < m_rectsToScroll.size(); i++) { |
547 | 547 | IntRect& scrollRect = m_rectsToScroll[i]; |
548 | 548 | m_webView->priv->backingStore->scroll(scrollRect, m_scrollOffsets[i]); |
549 | | gtk_widget_queue_draw_area(GTK_WIDGET(m_webView), scrollRect.x(), scrollRect.y(), scrollRect.width(), scrollRect.height()); |
| 549 | gtk_widget_queue_draw_area(GTK_WIDGET(m_webView), scrollRect.x() * 1.4, scrollRect.y() * 1.4, scrollRect.width() * 1.4, scrollRect.height() * 1.4); |
550 | 550 | } |
551 | 551 | |
552 | 552 | m_rectsToScroll.clear(); |
… |
… |
|
582 | 582 | } |
583 | 583 | |
584 | 584 | const IntRect& rect = m_dirtyRegion.bounds(); |
585 | | gtk_widget_queue_draw_area(GTK_WIDGET(m_webView), rect.x(), rect.y(), rect.width(), rect.height()); |
| 585 | gtk_widget_queue_draw_area(GTK_WIDGET(m_webView), rect.x() * 1.4, rect.y() * 1.4, rect.width() * 1.4, rect.height() * 1.4); |
586 | 586 | |
587 | 587 | m_dirtyRegion = Region(); |
588 | 588 | m_lastDisplayTime = currentTime(); |
diff -ur orig/webkitgtk-1.10.1/Source/WebKit/gtk/webkit/webkitwebview.cpp webkitgtk-1.10.1/Source/WebKit/gtk/webkit/webkitwebview.cpp
old
|
new
|
|
3616 | 3616 | pageClients.inspectorClient = new WebKit::InspectorClient(webView); |
3617 | 3617 | |
3618 | 3618 | priv->corePage = new Page(pageClients); |
| 3619 | priv->corePage->setDeviceScaleFactor(1.4); |
3619 | 3620 | |
3620 | 3621 | #if ENABLE(GEOLOCATION) |
3621 | 3622 | if (DumpRenderTreeSupportGtk::dumpRenderTreeModeEnabled()) { |