1 From: Jef Spaleta <jspaleta@gmail.com>
2 Subject: Additional patch to fix preview video widget in save_window.py
4 Bug: https://bugzilla.gnome.org/show_bug.cgi?id=604938
5 Bug-Debian: http://bugs.debian.org/554568
7 Index: istanbul-0.2.2/istanbul/main/save_window.py
8 ===================================================================
9 --- istanbul-0.2.2.orig/istanbul/main/save_window.py 2010-07-08 10:39:51.433390429 +0200
10 +++ istanbul-0.2.2/istanbul/main/save_window.py 2010-07-08 10:39:49.184894943 +0200
13 table.set_row_spacing(0,6)
14 table.set_row_spacing(1,6)
15 + def init_videowidget( widget):
16 + widget._xid = widget.window.xid
18 self.videowidget.connect_after('realize',
19 - lambda *x: self.player.pause() )
21 self.videowidget.set_size_request(width, height)
23 # create save, edit, cancel buttons