From 3acfd4eae51568b327c49af530a5523460f90630 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jaakko=20Ker=C3=A4nen?= Date: Fri, 9 Oct 2020 22:05:41 +0300 Subject: [PATCH 1/1] DocumentWidget: Animate players after tab change --- src/ui/documentwidget.c | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/ui/documentwidget.c b/src/ui/documentwidget.c index db7d8c8a..1f0bce52 100644 --- a/src/ui/documentwidget.c +++ b/src/ui/documentwidget.c @@ -450,6 +450,7 @@ static void updateOutlineOpacity_DocumentWidget_(iDocumentWidget *d) { static void animatePlayingAudio_DocumentWidget_(void *widget) { iDocumentWidget *d = widget; + if (document_App() != d) return; iConstForEach(PtrArray, i, &d->visiblePlayers) { const iGmRun *run = i.ptr; iPlayer *plr = audioPlayer_Media(media_GmDocument(d->doc), run->audioId); @@ -1289,6 +1290,7 @@ static iBool handleCommand_DocumentWidget_(iDocumentWidget *d, const char *cmd) updateOutlineOpacity_DocumentWidget_(d); updateWindowTitle_DocumentWidget_(d); allocVisBuffer_DocumentWidget_(d); + animatePlayingAudio_DocumentWidget_(d); return iFalse; } else if (equal_Command(cmd, "server.showcert") && d == document_App()) { -- 2.34.1