| 129 | class PlayerWindow(gtk.Window): |
| 130 | UPDATE_INTERVAL = 500 |
| 131 | def __init__(self): |
| 132 | gtk.Window.__init__(self) |
| 133 | self.set_default_size(410, 325) |
| 134 | |
| 135 | self.create_ui() |
| 136 | |
| 137 | self.player = GstPlayer(self.videowidget) |
| 138 | |
| 139 | def on_eos(): |
| 140 | self.player.seek(0L) |
| 141 | self.play_toggled() |
| 142 | self.player.on_eos = lambda *x: on_eos() |
| 143 | |
| 144 | self.update_id = -1 |
| 145 | self.changed_id = -1 |
| 146 | self.seek_timeout_id = -1 |
| 147 | |
| 148 | self.p_position = gst.CLOCK_TIME_NONE |
| 149 | self.p_duration = gst.CLOCK_TIME_NONE |
| 150 | |
| 151 | def on_delete_event(): |
| 152 | self.player.stop() |
| 153 | gtk.main_quit() |
| 154 | self.connect('delete-event', lambda *x: on_delete_event()) |
| 155 | |
| 156 | def load_file(self, location): |
| 157 | self.player.set_location(location) |