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