| 566 | class PlayerWindow(gtk.Window): |
| 567 | UPDATE_INTERVAL = 500 |
| 568 | def __init__(self): |
| 569 | gtk.Window.__init__(self) |
| 570 | self.set_default_size(600, 500) |
| 571 | |
| 572 | self.create_ui() |
| 573 | |
| 574 | self.player = GstPlayer(self.videowidget) |
| 575 | |
| 576 | def on_eos(): |
| 577 | self.player.seek(0L) |
| 578 | self.play_toggled() |
| 579 | self.player.on_eos = lambda *x: on_eos() |
| 580 | |
| 581 | self.update_id = -1 |
| 582 | self.changed_id = -1 |
| 583 | self.seek_timeout_id = -1 |
| 584 | |
| 585 | self.p_position = gst.CLOCK_TIME_NONE |
| 586 | self.p_duration = gst.CLOCK_TIME_NONE |
| 587 | |
| 588 | def on_delete_event(): |
| 589 | self.player.stop() |
| 590 | gtk.main_quit() |
| 591 | self.connect('delete-event', lambda *x: on_delete_event()) |
| 592 | |
| 593 | def load_file(self, location): |
| 594 | filename = location.split('/')[-1] |