[webkit-dev] changes to gtk+ port

[Luka Napotnik]

Hello.

I have a patch that modifies the update behavior for WebKit. The code
was usually in WebCore/platform/gtk/ScrollViewGtk.cpp. The missing
code invalidated the GdkWindow and processed updates with the code
that was in the method ScrollView::updateContents:
---------------------------------------------------------------------------------
if (window)
  gdk_window_invalidate_rect(window, &rect, true);

// Cache the dirty spot.
addToDirtyRegion(containingWindowRect);

if (now && window)
  gdk_window_process_updates(window, true);
---------------------------------------------------------------------------------

But now I'm unable to find the code. Any hint where this updating has
been moved to. Please help.

Greets,
Luka