(self)
| 738 | self.cutin.set_time(0) |
| 739 | |
| 740 | def play_toggled(self): |
| 741 | if self.player.is_playing(): |
| 742 | self.player.pause() |
| 743 | self.button.set_label(gtk.STOCK_MEDIA_PLAY) |
| 744 | else: |
| 745 | self.player.play() |
| 746 | if self.update_id == -1: |
| 747 | self.update_id = gobject.timeout_add(self.UPDATE_INTERVAL, |
| 748 | self.update_scale_cb) |
| 749 | self.button.set_label(gtk.STOCK_MEDIA_PAUSE) |
| 750 | |
| 751 | def scale_format_value_cb(self, scale, value): |
| 752 | if self.p_duration == -1: |