diff options
| author | Guido van Rossum <guido@python.org> | 1992-08-18 14:47:20 (GMT) |
|---|---|---|
| committer | Guido van Rossum <guido@python.org> | 1992-08-18 14:47:20 (GMT) |
| commit | 44b8e81c425fed957b91b5ff0eff4f2a0c12157f (patch) | |
| tree | f7119d5d2a34df074d3f97d9883840fee7d76670 /Demo/sgi | |
| parent | 7ff90ef71491d4ff5a22146510bc9a51d521973d (diff) | |
| download | cpython-44b8e81c425fed957b91b5ff0eff4f2a0c12157f.zip cpython-44b8e81c425fed957b91b5ff0eff4f2a0c12157f.tar.gz cpython-44b8e81c425fed957b91b5ff0eff4f2a0c12157f.tar.bz2 | |
Change window title: prefix '* ' means playing.
Diffstat (limited to 'Demo/sgi')
| -rwxr-xr-x | Demo/sgi/video/Vplay.py | 4 |
1 files changed, 2 insertions, 2 deletions
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 @@ 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: |