Change window title: prefix '* ' means playing.
diff --git a/Demo/sgi/video/Vplay.py b/Demo/sgi/video/Vplay.py
index 70e9356..1b9c80c 100755
--- a/Demo/sgi/video/Vplay.py
+++ b/Demo/sgi/video/Vplay.py
@@ -23,7 +23,7 @@
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 @@
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: