gremlin/gremlin.in: Update progress every 100ms rather than 200ms.

Makes the display subjectively much smoother.

diff --git a/gremlin/gremlin.in b/gremlin/gremlin.in
index 985cb6d18fab223cf61cc459d9003e2b436f7e99..360d5d725aaa10e088e254d2a7c0352000ab862d 100644 (file)
--- a/gremlin/gremlin.in
+++ b/gremlin/gremlin.in
@@ -783,7 +783,7 @@ class GStreamerProgressEyecandy (ProgressEyecandy):
       return
 
     ## Update regularly.  The pipeline runs asynchronously.
-    me._id = G.timeout_add(200, me._update)
+    me._id = G.timeout_add(100, me._update)
 
   def __exit__(me, ty, val, tb):
     "Leave context: remove display and report completion or failure."