| 112 | return self.playing |
| 113 | |
| 114 | class VideoWidget(gtk.DrawingArea): |
| 115 | def __init__(self): |
| 116 | gtk.DrawingArea.__init__(self) |
| 117 | self.imagesink = None |
| 118 | self.unset_flags(gtk.DOUBLE_BUFFERED) |
| 119 | |
| 120 | def do_expose_event(self, event): |
| 121 | if self.imagesink: |
| 122 | self.imagesink.expose() |
| 123 | return False |
| 124 | else: |
| 125 | return True |
| 126 | |
| 127 | def set_sink(self, sink): |
| 128 | assert self.window.xid |
| 129 | self.imagesink = sink |
| 130 | self.imagesink.set_xwindow_id(self.window.xid) |
| 131 | |
| 132 | class SyncPoints(gtk.VBox): |
| 133 | def __init__(self, window): |