From 08fca93e7f2a37a452399d08c5c84b969b7e52af Mon Sep 17 00:00:00 2001
From: Stefan Pluecken <stefan.pluecken@multimedia-labs.de>
Date: Thu, 23 Mar 2006 00:06:27 +0000
Subject: - switchtimer added to RecordingTimer - media player to play mp3, ogg
 (not yet fully working) and ts files (needs gstreamer) - language selection
 saves a language string instead of a changing index number

---
 Navigation.py | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Navigation.py')

diff --git a/Navigation.py b/Navigation.py
index c42a62e5..8ff1be0c 100644
--- a/Navigation.py
+++ b/Navigation.py
@@ -29,6 +29,7 @@ class Navigation:
 			x(i)
 	
 	def playService(self, ref):
+		print "playing", ref
 		self.currentlyPlayingServiceReference = None
 		if ref is None:
 			self.stopService()
-- 
cgit v1.2.3