chiark / gitweb /
gremlin/gremlin.in: Update progress every 100ms rather than 200ms.
[autoys] / gremlin / gremlin.in
index 985cb6d18fab223cf61cc459d9003e2b436f7e99..360d5d725aaa10e088e254d2a7c0352000ab862d 100644 (file)
@@ -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."