gonzopi

commit 8b86d1b067971ca16e25b1c590f0103551d843f8
parent f9335704eb27e4745af2ce6a4e3be8a5d26f68cf
Author: rbckman <rob@tarina.org>
Date:   Mon, 20 May 2024 20:05:13 +0100

display nice timeformat

Diffstat:
M
gonzopi.py
 | 
2
+-

1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/gonzopi.py b/gonzopi.py
@@ -4272,7 +4272,7 @@ def playdub(filmname, filename, player_menu):
         if dub == True:
             header = 'Dubbing ' + str(round(t,1))
         else:
-            header = 'Playing ' + str(round(t,1)) + ' of ' + str(clipduration) + ' s'
+            header = 'Playing ' + str(datetime.timedelta(seconds=round(t))) + ' of ' + str(datetime.timedelta(seconds=round(clipduration))) + ' s'
         writemenu(menu,settings,selected,header,showmenu)
         pressed, buttonpressed, buttontime, holdbutton, event, keydelay = getbutton(pressed, buttonpressed, buttontime, holdbutton)
         if buttonpressed == True: