From 02928958230e69293ab8ea22f6f2e857da2ebb02 Mon Sep 17 00:00:00 2001
From: bjschuma <bjschuma@1daee41c-8060-4895-b1f0-2197c00d777a>
Date: Thu, 4 Jun 2009 14:51:54 +0000
Subject: [PATCH] Progress bar shows current playback time and total playback
 time

git-svn-id: file:///home/anna/Desktop/ocarina-legacy/mithos/ocarina@16 1daee41c-8060-4895-b1f0-2197c00d777a
---
 trunk/operations.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/trunk/operations.py b/trunk/operations.py
index d6ba8e37..ed1f4858 100644
--- a/trunk/operations.py
+++ b/trunk/operations.py
@@ -41,7 +41,7 @@ class Operations:
 	def markProgress(self,widget,data):
 		time = self.song.curTime()
 		widget.set_fraction(float(self.song.current)/float(self.song.total))
-		widget.set_text(time.toStr())
+		widget.set_text(time.toStr()+" / "+self.song.info.length.toStr())
 		#print float(self.song.current)/float(self.song.total)
 		return True