| 89 | switch.emit('switch', newpad, stop_time, start_time) |
| 90 | |
| 91 | class VideoWidget(gtk.DrawingArea): |
| 92 | def __init__(self): |
| 93 | gtk.DrawingArea.__init__(self) |
| 94 | self.imagesink = None |
| 95 | self.unset_flags(gtk.DOUBLE_BUFFERED) |
| 96 | |
| 97 | def do_expose_event(self, event): |
| 98 | if self.imagesink: |
| 99 | self.imagesink.expose() |
| 100 | return False |
| 101 | else: |
| 102 | return True |
| 103 | |
| 104 | def set_sink(self, sink): |
| 105 | assert self.window.xid |
| 106 | self.imagesink = sink |
| 107 | self.imagesink.set_xwindow_id(self.window.xid) |
| 108 | |
| 109 | class SwitchWindow(gtk.Window): |
| 110 | UPDATE_INTERVAL = 500 |