Ticket #4244: scale1024x768.patch

File scale1024x768.patch, 3.5 KB (added by dnarvaez, 12 years ago)
  • webkitgtk-1.10.1/Source/WebCore/platform/gtk/ScrollViewGtk.cpp

    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  
    8787    GtkAllocation allocation;
    8888    gtk_widget_get_allocation(measuredWidget, &allocation);
    8989    return IntRect(IntPoint(m_scrollOffset.width(), m_scrollOffset.height()),
    90                    IntSize(allocation.width, allocation.height));
     90                   IntSize(allocation.width / 1.171875, allocation.height / 1.171875));
    9191}
    9292
    9393void ScrollView::setScrollbarModes(ScrollbarMode horizontalMode, ScrollbarMode verticalMode, bool horizontalLock, bool verticalLock)
  • webkitgtk-1.10.1/Source/WebCore/platform/ScrollView.cpp

    diff -ur orig/webkitgtk-1.10.1/Source/WebCore/platform/ScrollView.cpp webkitgtk-1.10.1/Source/WebCore/platform/ScrollView.cpp
    old new  
    675675
    676676    if (canBlitOnScroll()) { // The main frame can just blit the WebView window
    677677        // FIXME: Find a way to scroll subframes with this faster path
    678         if (!scrollContentsFastPath(-scrollDelta, scrollViewRect, clipRect))
     678        //if (!scrollContentsFastPath(-scrollDelta, scrollViewRect, clipRect))
    679679            scrollContentsSlowPath(updateRect);
    680680    } else {
    681681       // We need to go ahead and repaint the entire backing store.  Do it now before moving the
  • webkitgtk-1.10.1/Source/WebKit/gtk/WebCoreSupport/ChromeClientGtk.cpp

    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  
    546546    for (size_t i = 0; i < m_rectsToScroll.size(); i++) {
    547547        IntRect& scrollRect = m_rectsToScroll[i];
    548548        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.171875, scrollRect.y() * 1.171875, scrollRect.width() * 1.171875, scrollRect.height() * 1.171875);
    550550    }
    551551
    552552    m_rectsToScroll.clear();
     
    582582    }
    583583
    584584    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.171875, rect.y() * 1.171875, rect.width() * 1.171875, rect.height() * 1.171875);
    586586
    587587    m_dirtyRegion = Region();
    588588    m_lastDisplayTime = currentTime();
  • webkitgtk-1.10.1/Source/WebKit/gtk/webkit/webkitwebview.cpp

    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  
    36163616    pageClients.inspectorClient = new WebKit::InspectorClient(webView);
    36173617
    36183618    priv->corePage = new Page(pageClients);
     3619    priv->corePage->setDeviceScaleFactor(1.171875);
    36193620
    36203621#if ENABLE(GEOLOCATION)
    36213622    if (DumpRenderTreeSupportGtk::dumpRenderTreeModeEnabled()) {