Change window title: prefix '* ' means playing.

This commit is contained in:
Guido van Rossum 1992-08-18 14:47:20 +00:00
parent 7ff90ef714
commit 44b8e81c42
1 changed files with 2 additions and 2 deletions

View File

@ -23,7 +23,7 @@ def process(filename):
gl.foreground() gl.foreground()
gl.prefsize(vin.width, vin.height) gl.prefsize(vin.width, vin.height)
win = gl.winopen(filename) win = gl.winopen('* ' + filename)
vin.initcolormap() vin.initcolormap()
gl.qdevice(ESCKEY) gl.qdevice(ESCKEY)
@ -39,7 +39,7 @@ def process(filename):
t, data, chromdata = vin.getnextframe() t, data, chromdata = vin.getnextframe()
except EOFError: except EOFError:
running = 0 running = 0
gl.wintitle('(done)') gl.wintitle(filename)
if running: if running:
dt = t + t0 - time.millitimer() dt = t + t0 - time.millitimer()
if dt > 0: if dt > 0: