Change window title: prefix '* ' means playing.

diff --git a/Demo/sgi/video/Vplay.py b/Demo/sgi/video/Vplay.py
index 70e935604b7d5a7565702432cf8646ab8a98168a..1b9c80ca2bb3160d6f99b301943fae23cdbf9b81 100755 (executable)
--- a/Demo/sgi/video/Vplay.py
+++ b/Demo/sgi/video/Vplay.py
@@ -23,7 +23,7 @@ def process(filename):
        
        gl.foreground()
        gl.prefsize(vin.width, vin.height)
-       win = gl.winopen(filename)
+       win = gl.winopen('* ' + filename)
        vin.initcolormap()
 
        gl.qdevice(ESCKEY)
@@ -39,7 +39,7 @@ def process(filename):
                                t, data, chromdata = vin.getnextframe()
                        except EOFError:
                                running = 0
-                               gl.wintitle('(done)')
+                               gl.wintitle(filename)
                if running:
                        dt = t + t0 - time.millitimer()
                        if dt > 0: