From: Mark Wooding <mdw@distorted.org.uk>
Date: Thu, 19 Apr 2018 10:52:28 +0000 (+0100)
Subject: gremlin/gremlin.in: Update progress every 100ms rather than 200ms.
X-Git-Url: https://git.distorted.org.uk/~mdw/autoys/commitdiff_plain/fbbde927eeb917bc5d5076259da5d9881b3816ca

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 985cb6d..360d5d7 100644
--- 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."