From 71caf805327b711b0d19850f279718f1c90d8ca9 Mon Sep 17 00:00:00 2001
From: Andy Wingo <wingo@pobox.com>
Date: Fri, 5 May 2006 13:32:37 +0000
Subject: [PATCH] smaller title

Original commit message from CVS:
smaller title
---
 examples/remuxer.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/examples/remuxer.py b/examples/remuxer.py
index b95f14b..3ec855e 100644
--- a/examples/remuxer.py
+++ b/examples/remuxer.py
@@ -594,7 +594,7 @@ class PlayerWindow(gtk.Window):
 
     def load_file(self, location):
         filename = location.split('/')[-1]
-        self.set_title('Cutting %s with blunt instruments' % filename)
+        self.set_title('%s munger' % filename)
         self.player.set_location(location)
         if self.videowidget.flags() & gtk.REALIZED:
             self.play_toggled()
-- 
2.7.4