3 # This file is part of Jamaendo.
4 # Copyright (c) 2010 Kristoffer Gronlund
6 # Jamaendo is free software: you can redistribute it and/or modify
7 # it under the terms of the GNU General Public License as published by
8 # the Free Software Foundation, either version 3 of the License, or
9 # (at your option) any later version.
11 # Jamaendo is distributed in the hope that it will be useful,
12 # but WITHOUT ANY WARRANTY; without even the implied warranty of
13 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 # GNU General Public License for more details.
16 # You should have received a copy of the GNU General Public License
17 # along with Jamaendo. If not, see <http://www.gnu.org/licenses/>.
19 # Player code heavily based on http://thpinfo.com/2008/panucci/:
20 # A resuming media player for Podcasts and Audiobooks
21 # Copyright (c) 2008-05-26 Thomas Perl <thpinfo.com>
22 # (based on http://pygstdocs.berlios.de/pygst-tutorial/seeking.html)
29 import helldon as hildon
34 from settings import settings
35 from postoffice import postoffice
36 from player import Playlist, the_player
40 from songposition import SongPosition
41 from listbox import ListDialog
43 log = logging.getLogger(__name__)
45 class PlayerWindow(hildon.StackableWindow):
49 hildon.StackableWindow.__init__(self)
50 self.set_title("Jamaendo")
52 PlayerWindow.instance = self
54 self.connect('destroy', self.on_destroy)
56 self.player = the_player
57 self.playlist = the_player.playlist
59 vbox = gtk.VBox(False, 8)
61 hbox = gtk.HBox(False)
63 self.cover = gtk.Image()
64 self.set_default_cover()
68 self.playlist_pos = gtk.Label()
69 self.playlist_pos.set_alignment(1.0,0)
70 self.track = gtk.Label()
71 self.track.set_alignment(0,1)
72 self.track.set_ellipsize(pango.ELLIPSIZE_END)
73 self.artist = gtk.Label()
74 self.artist.set_alignment(0,0.5)
75 self.artist.set_ellipsize(pango.ELLIPSIZE_END)
76 self.album = gtk.Label()
77 self.album.set_alignment(0,0)
78 self.album.set_ellipsize(pango.ELLIPSIZE_END)
79 self.playtime = gtk.Label()
80 self.playtime.set_alignment(1,0)
81 self.playtime.set_ellipsize(pango.ELLIPSIZE_END)
82 self.progress = SongPosition()
84 self.set_labels('', '', '', 0, 0)
86 self._position_timer = None
88 vbox2.pack_start(self.playlist_pos, False)
89 vbox2.pack_start(self.track, True)
90 vbox2.pack_start(self.artist, True)
91 vbox2.pack_start(self.album, True)
92 vbox2.pack_start(self.playtime, False, True)
93 vbox2.pack_start(self.progress, False, True)
95 hbox.set_border_width(8)
96 hbox.pack_start(self.cover, False, True, 8)
97 hbox.pack_start(vbox2, True, True, 0)
99 vbox.pack_start(hbox, True, True, 0)
101 btns = gtk.HButtonBox()
102 btns.set_property('layout-style', gtk.BUTTONBOX_SPREAD)
104 vbox.pack_start(btns, False, True, 0)
106 self.add_stock_button(btns, gtk.STOCK_MEDIA_PREVIOUS, self.on_prev)
107 self.add_play_button(btns)
108 self.add_stock_button(btns, gtk.STOCK_MEDIA_STOP, self.on_stop)
109 self.add_stock_button(btns, gtk.STOCK_MEDIA_NEXT, self.on_next)
115 postoffice.connect('album-cover', self, self.set_album_cover)
116 postoffice.connect(['next', 'prev', 'play', 'pause', 'stop'], self, self.on_state_changed)
118 self.on_state_changed()
122 def create_menu(self):
123 self.menu = hildon.AppMenu()
126 from showartist import ShowArtist
128 hildon.hildon_gtk_window_set_progress_indicator(self, 1)
129 track = self.playlist.current()
130 artist = jamaendo.get_artist(int(track.artist_id))
131 wnd = ShowArtist(artist)
134 hildon.hildon_gtk_window_set_progress_indicator(self, 0)
136 from showalbum import ShowAlbum
138 hildon.hildon_gtk_window_set_progress_indicator(self, 1)
139 track = self.playlist.current()
140 album = jamaendo.get_album(int(track.album_id))
141 wnd = ShowAlbum(album)
144 hildon.hildon_gtk_window_set_progress_indicator(self, 0)
146 b = hildon.GtkButton(gtk.HILDON_SIZE_AUTO)
147 b.set_label("Artist")
148 b.connect("clicked", lambda w: gobject.idle_add(to_artist))
151 b = hildon.GtkButton(gtk.HILDON_SIZE_AUTO)
153 b.connect("clicked", lambda w: gobject.idle_add(to_album))
156 b = hildon.GtkButton(gtk.HILDON_SIZE_AUTO)
157 b.set_label("Add to playlist")
158 b.connect("clicked", self.on_add_to_playlist)
162 self.set_app_menu(self.menu)
164 def on_state_changed(self, *args):
166 self.update_play_button()
168 if self.player.playing():
169 self.start_position_timer()
171 self.stop_position_timer()
174 def get_album_id(self):
175 if self.player.playlist and self.player.playlist.current():
176 c = self.player.playlist.current()
183 def on_destroy(self, wnd):
184 PlayerWindow.instance = None
185 self.stop_position_timer()
186 postoffice.disconnect(['album-cover', 'next', 'prev', 'play', 'stop'], self)
188 def add_stock_button(self, btns, stock, cb):
189 btn = hildon.GtkButton(gtk.HILDON_SIZE_FINGER_HEIGHT)
190 btn.set_relief(gtk.RELIEF_NONE)
191 btn.set_focus_on_click(False)
192 sz = gtk.ICON_SIZE_BUTTON
193 btn.set_image(gtk.image_new_from_stock(stock, sz))
194 btn.connect('clicked', cb)
197 def add_play_button(self, btns):
198 sz = gtk.ICON_SIZE_BUTTON
199 self.playimg = gtk.image_new_from_stock(gtk.STOCK_MEDIA_PLAY, sz)
200 self.pauseimg = gtk.image_new_from_stock(gtk.STOCK_MEDIA_PAUSE, sz)
201 btn = hildon.GtkButton(gtk.HILDON_SIZE_FINGER_HEIGHT)
202 btn.set_relief(gtk.RELIEF_NONE)
203 if self.player.playing():
204 btn.set_image(self.pauseimg)
205 btn.set_data('state', 'pause')
207 btn.set_image(self.playimg)
208 btn.set_data('state', 'play')
209 btn.connect('clicked', self.on_play)
213 def update_play_button(self):
214 if self.player.playing():
215 self.playbtn.set_image(self.pauseimg)
216 self.playbtn.set_data('state', 'pause')
218 self.playbtn.set_image(self.playimg)
219 self.playbtn.set_data('state', 'play')
221 def set_labels(self, track, artist, album, playlist_pos, playlist_size):
223 if self.playlist.radio_mode:
224 ppstr = 'Radio: %s'%(cgi.escape(self.playlist.radio_name))
225 elif playlist_size > 0:
226 ppstr = 'Track %s of %s'%(int(playlist_pos)+1, playlist_size)
228 ppstr = "No playlist"
229 ppstr = '<span font_desc="%s" foreground="%s">%s</span>'%(colors.SmallSystemFont(), colors.SecondaryTextColor(), ppstr)
230 self.playlist_pos.set_markup(ppstr)
231 self.track.set_markup('<span font_desc="%s">%s</span>'%(colors.LargeSystemFont(), cgi.escape(track)))
232 self.artist.set_markup('%s'%(cgi.escape(artist)))
233 self.album.set_markup('<span foreground="%s">%s</span>'%(colors.SecondaryTextColor(), cgi.escape(album)))
236 txt = '<span font_desc="%s" foreground="%s">%s</span>' % \
237 (colors.XXLargeSystemFont(),
238 colors.SecondaryTextColor(),
241 self.playtime.set_markup(txt)
243 def show_banner(self, message, timeout = 2000):
244 banner = hildon.hildon_banner_show_information(self, '', message)
245 banner.set_timeout(2000)
247 def on_add_to_playlist(self, button, user_data=None):
248 track = self.player.playlist.current()
249 from playlists import add_to_playlist
250 add_to_playlist(self, track)
252 def volume_changed_hildon(self, widget):
253 settings.volume = widget.get_level()/100.0
255 def mute_toggled(self, widget):
256 if widget.get_mute():
259 settings.volume = widget.get_level()/100.0
261 def on_position_timeout(self):
262 if the_player.playing():
263 self.set_song_position(*the_player.get_position_duration())
265 log.debug("position timeout, but not playing")
268 def start_position_timer(self):
269 if self._position_timer is not None:
270 self.stop_position_timer()
271 self._position_timer = gobject.timeout_add(1000, self.on_position_timeout)
273 def stop_position_timer(self):
274 if self._position_timer is not None:
275 gobject.source_remove(self._position_timer)
276 self._position_timer = None
278 def clear_position(self):
279 self.progress.set_position(0)
281 def nanosecs_to_str(self, ns):
282 time_secs = int(float(ns)/1000000000.0)
284 return "00:%02d"%(time_secs)
285 time_mins = int(time_secs/60.0)
286 time_secs -= time_mins*60
288 return "%02d:%02d"%(time_mins, time_secs)
290 time_hrs = int(time_mins/60.0)
291 time_mins -= time_hrs*60
292 return "%d:%02d:%02d"%(time_hrs, time_secs, time_mins)
294 def set_song_position(self, time_elapsed, total_time):
295 value = (float(time_elapsed) / float(total_time)) if total_time else 0
296 self.progress.set_position(value)
299 txt = '<span font_desc="%s" foreground="%s">%s</span>' % \
300 (colors.XXLargeSystemFont(),
301 colors.SecondaryTextColor(),
302 self.nanosecs_to_str(time_elapsed)
304 self.playtime.set_markup(txt)
306 def set_default_cover(self):
307 tmp = util.find_resource('album.png')
309 log.debug("Setting cover to %s", tmp)
310 self.cover.set_from_file(tmp)
312 def update_state(self):
313 item = self.playlist.current()
315 hildon.hildon_gtk_window_set_progress_indicator(self, 0)
318 self.set_labels(item.name, item.artist_name, item.album_name,
319 self.playlist.current_index(), self.playlist.size())
320 self.set_default_cover()
321 postoffice.notify('request-album-cover', int(item.album_id), 300)
323 self.set_labels('', '', '', 0, 0)
324 self.set_default_cover()
326 for btn in self.controls:
327 if isinstance(btn, hildon.GtkButton):
328 btn.set_sensitive(state)
330 def set_album_cover(self, albumid, size, cover):
332 playing = self.get_album_id()
333 if playing and albumid and (int(playing) == int(albumid)):
334 log.debug("Setting cover to %s", cover)
335 self.cover.set_from_file(cover)
337 def play_radio(self, radio_name, radio_id):
338 playlist = Playlist([])
339 playlist.radio_mode = True
340 playlist.radio_name = radio_name
341 playlist.radio_id = radio_id
342 hildon.hildon_gtk_window_set_progress_indicator(self, 1)
343 self.__play_tracks(playlist)
344 #log.debug("Playlist current: %s, playing? %s",
345 # playlist.current_index(),
346 # self.player.playing())
348 def play_tracks(self, tracks):
349 self.__play_tracks(tracks)
351 def __play_tracks(self, tracks):
352 self.clear_position()
353 if isinstance(tracks, Playlist):
354 self.playlist = tracks
356 self.playlist = Playlist(tracks)
357 log.debug("Playing: %s", self.playlist)
359 self.player.play(self.playlist)
361 def on_play(self, button):
362 if not self.player.playing():
363 self.player.play(self.playlist)
366 def on_prev(self, button):
369 def on_next(self, button):
372 def on_stop(self, button):
373 self.clear_position()
376 def open_playerwindow():
377 if PlayerWindow.instance:
378 player = PlayerWindow.instance
379 stack = player.get_stack()
381 windows = stack.pop(sz)
382 windows.remove(player)
383 windows.append(player)
384 stack.push_list(windows)
386 player = PlayerWindow()