+ def add_play_button(self, btns):
+ sz = gtk.ICON_SIZE_BUTTON
+ self.playimg = gtk.image_new_from_stock(gtk.STOCK_MEDIA_PLAY, sz)
+ self.pauseimg = gtk.image_new_from_stock(gtk.STOCK_MEDIA_PAUSE, sz)
+ btn = hildon.GtkButton(gtk.HILDON_SIZE_FINGER_HEIGHT)
+ btn.set_relief(gtk.RELIEF_NONE)
+ if self.player.playing():
+ btn.set_image(self.pauseimg)
+ btn.set_data('state', 'pause')
+ else:
+ btn.set_image(self.playimg)
+ btn.set_data('state', 'play')
+ btn.connect('clicked', self.on_play)
+ btns.add(btn)
+ self.playbtn = btn
+
+ def update_play_button(self):
+ if self.player.playing():
+ self.playbtn.set_image(self.pauseimg)
+ self.playbtn.set_data('state', 'pause')
+ else:
+ self.playbtn.set_image(self.playimg)
+ self.playbtn.set_data('state', 'play')
+