From 042fb9770186871a5a99a89fd77459a3f8b7fe2c Mon Sep 17 00:00:00 2001 From: =?utf8?q?Kristoffer=20Gr=C3=B6nlund?= Date: Wed, 6 Jan 2010 18:29:09 +0100 Subject: [PATCH] minor tweak to playlist indicator --- jamaui/playerwindow.py | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/jamaui/playerwindow.py b/jamaui/playerwindow.py index ced2c80..ae6e803 100644 --- a/jamaui/playerwindow.py +++ b/jamaui/playerwindow.py @@ -211,9 +211,12 @@ class PlayerWindow(hildon.StackableWindow): def set_labels(self, track, artist, album, playlist_pos, playlist_size): if self.playlist.radio_mode: - ppstr = 'Radio: %s'%(cgi.escape(self.playlist.radio_name)) + ppstr = 'Radio: %s'%(cgi.escape(self.playlist.radio_name)) + elif playlist_size > 0: + ppstr = 'Track %s of %s'%(int(playlist_pos)+1, playlist_size) else: - ppstr = 'Track %s of %s'%(colors.SmallSystemFont(), colors.SecondaryTextColor(), int(playlist_pos)+1, playlist_size) + ppstr = "No playlist" + ppstr = '%s'%(colors.SmallSystemFont(), colors.SecondaryTextColor(), ppstr) self.playlist_pos.set_markup(ppstr) self.track.set_markup('%s'%(colors.LargeSystemFont(), cgi.escape(track))) self.artist.set_markup('%s'%(cgi.escape(artist))) -- 1.7.9.5