From 44b8e81c425fed957b91b5ff0eff4f2a0c12157f Mon Sep 17 00:00:00 2001 From: Guido van Rossum Date: Tue, 18 Aug 1992 14:47:20 +0000 Subject: [PATCH] Change window title: prefix '* ' means playing. --- Demo/sgi/video/Vplay.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Demo/sgi/video/Vplay.py b/Demo/sgi/video/Vplay.py index 70e935604b7..1b9c80ca2bb 100755 --- 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: