From: Guido van Rossum <guido@python.org>
Date: Tue, 18 Aug 1992 14:47:20 +0000 (+0000)
Subject: Change window title: prefix '* ' means playing.
X-Git-Tag: v0.9.8~219
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=44b8e81c425fed957b91b5ff0eff4f2a0c12157f;p=thirdparty%2FPython%2Fcpython.git

Change window title: prefix '* ' means playing.
---

diff --git a/Demo/sgi/video/Vplay.py b/Demo/sgi/video/Vplay.py
index 70e935604b7d..1b9c80ca2bb3 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: