diff options
author | José Fonseca <[email protected]> | 2009-03-25 15:36:51 +0000 |
---|---|---|
committer | José Fonseca <[email protected]> | 2009-03-25 21:04:17 +0000 |
commit | de89c022d5a2e63b52a9ae27ec70b9f5e203d3ed (patch) | |
tree | e625fd24f11142d673da3f77091bac601076217e /src/gallium/state_trackers | |
parent | c847b4515314e11bee6463da908c665424cafa30 (diff) |
python: Show call no in image window.
Diffstat (limited to 'src/gallium/state_trackers')
-rwxr-xr-x | src/gallium/state_trackers/python/retrace/interpreter.py | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/gallium/state_trackers/python/retrace/interpreter.py b/src/gallium/state_trackers/python/retrace/interpreter.py index 6aaea2d65da..a22314d2000 100755 --- a/src/gallium/state_trackers/python/retrace/interpreter.py +++ b/src/gallium/state_trackers/python/retrace/interpreter.py @@ -54,14 +54,14 @@ def save_image(filename, surface): outimage = make_image(surface) outimage.save(filename, "PNG") -def show_image(surface): +def show_image(surface, title): outimage = make_image(surface) import Tkinter as tk from PIL import Image, ImageTk root = tk.Tk() - root.title('background image') + root.title(title) image1 = ImageTk.PhotoImage(outimage) w = image1.width() @@ -609,7 +609,8 @@ class Interpreter(parser.TraceDumper): filename = '%s_%04u.png' % (description, self.call_no) save_image(filename, surface) else: - show_image(surface) + title = '%u. %s' % (self.call_no, description) + show_image(surface, title) class Main(parser.Main): |