[SCM] WebKit Debian packaging branch, webkit-1.2, updated. upstream/1.1.90-6072-g9a69373

[kov at webkit.org]

The following commit has been merged in the webkit-1.2 branch:
commit 1f85cf8f5c21cea74745080ce6c15da7bc986f6a
Author: kov at webkit.org <kov at webkit.org@268f45cc-cd09-0410-ab3c-d52691b4dbfc>
Date:   Tue Mar 16 11:44:30 2010 +0000

    2010-03-10  Gustavo Noronha Silva  <gustavo.noronha at collabora.co.uk>
    
            Reviewed by Eric Seidel.
    
            [GTK] Position queries are lagging
            https://bugs.webkit.org/show_bug.cgi?id=34372
    
            Normalize SharedTimers priorities to always be
            G_PRIORITY_DEFAULT. As it is currently, timers that should happen
            immediately (0 miliseconds delay) end up delayed by a lot of time
            due to glib starving lower priority sources.
    
            * platform/gtk/SharedTimerGtk.cpp:
            (WebCore::setSharedTimerFireTime):
    
    git-svn-id: http://svn.webkit.org/repository/webkit/trunk@56053 268f45cc-cd09-0410-ab3c-d52691b4dbfc

diff --git a/WebCore/ChangeLog b/WebCore/ChangeLog
index 0f8b59b..fdf49ce 100644
--- a/WebCore/ChangeLog
+++ b/WebCore/ChangeLog
@@ -1,3 +1,18 @@
+2010-03-10  Gustavo Noronha Silva  <gustavo.noronha at collabora.co.uk>
+
+        Reviewed by Eric Seidel.
+
+        [GTK] Position queries are lagging
+        https://bugs.webkit.org/show_bug.cgi?id=34372
+
+        Normalize SharedTimers priorities to always be
+        G_PRIORITY_DEFAULT. As it is currently, timers that should happen
+        immediately (0 miliseconds delay) end up delayed by a lot of time
+        due to glib starving lower priority sources.
+
+        * platform/gtk/SharedTimerGtk.cpp:
+        (WebCore::setSharedTimerFireTime):
+
 2010-03-16  Xan Lopez  <xlopez at igalia.com>
 
         Reviewed by Gustavo Noronha.
diff --git a/WebCore/platform/gtk/SharedTimerGtk.cpp b/WebCore/platform/gtk/SharedTimerGtk.cpp
index 0a760ed..092df95 100644
--- a/WebCore/platform/gtk/SharedTimerGtk.cpp
+++ b/WebCore/platform/gtk/SharedTimerGtk.cpp
@@ -63,10 +63,7 @@ void setSharedTimerFireTime(double fireTime)
     }
 
     stopSharedTimer();
-    if (intervalInMS == 0)
-        sharedTimer = g_idle_add(timeout_cb, NULL);
-    else
-        sharedTimer = g_timeout_add_full(G_PRIORITY_DEFAULT, intervalInMS, timeout_cb, NULL, NULL);
+    sharedTimer = g_timeout_add(intervalInMS, timeout_cb, NULL);
 }
 
 void stopSharedTimer()

-- 
WebKit Debian packaging