[SCM] WebKit Debian packaging branch, debian/experimental, updated. upstream/1.3.3-9427-gc2be6fc

[kov at webkit.org]

The following commit has been merged in the debian/experimental branch:
commit 2e26e0b8f873a67dda6976127e20e25af7b8c478
Author: kov at webkit.org <kov at webkit.org@268f45cc-cd09-0410-ab3c-d52691b4dbfc>
Date:   Mon Aug 16 17:10:38 2010 +0000

    2010-08-13  Gustavo Noronha Silva  <gustavo.noronha at collabora.co.uk>
    
            Reviewed by Kenneth Rohde Christiansen and Martin Robinson.
    
            [GTK] GTK+ drawing idle starved
            https://bugs.webkit.org/show_bug.cgi?id=43994
    
            Tune down the priority of the shared timers to guarantee GTK+ has
            an opportunity to redraw.
    
            * platform/gtk/SharedTimerGtk.cpp:
            (WebCore::setSharedTimerFireTime):
    
    git-svn-id: http://svn.webkit.org/repository/webkit/trunk@65438 268f45cc-cd09-0410-ab3c-d52691b4dbfc

diff --git a/WebCore/ChangeLog b/WebCore/ChangeLog
index de35424..c95fb4a 100644
--- a/WebCore/ChangeLog
+++ b/WebCore/ChangeLog
@@ -1,3 +1,16 @@
+2010-08-13  Gustavo Noronha Silva  <gustavo.noronha at collabora.co.uk>
+
+        Reviewed by Kenneth Rohde Christiansen and Martin Robinson.
+
+        [GTK] GTK+ drawing idle starved
+        https://bugs.webkit.org/show_bug.cgi?id=43994
+
+        Tune down the priority of the shared timers to guarantee GTK+ has
+        an opportunity to redraw.
+
+        * platform/gtk/SharedTimerGtk.cpp:
+        (WebCore::setSharedTimerFireTime):
+
 2010-08-16  Leandro Pereira  <leandro at profusion.mobi>
 
         [EFL] Build fix after r65366.
diff --git a/WebCore/platform/gtk/SharedTimerGtk.cpp b/WebCore/platform/gtk/SharedTimerGtk.cpp
index 092df95..ee4d75b 100644
--- a/WebCore/platform/gtk/SharedTimerGtk.cpp
+++ b/WebCore/platform/gtk/SharedTimerGtk.cpp
@@ -30,6 +30,7 @@
 
 #include <wtf/Assertions.h>
 #include <wtf/CurrentTime.h>
+#include <gdk/gdk.h>
 #include <glib.h>
 
 namespace WebCore {
@@ -63,7 +64,7 @@ void setSharedTimerFireTime(double fireTime)
     }
 
     stopSharedTimer();
-    sharedTimer = g_timeout_add(intervalInMS, timeout_cb, NULL);
+    sharedTimer = g_timeout_add_full(GDK_PRIORITY_REDRAW, intervalInMS, timeout_cb, 0, 0);
 }
 
 void stopSharedTimer()

-- 
WebKit Debian packaging