Lagrange [release]

DocumentWidget: Animate players after tab change

3acfd4eae51568b327c49af530a5523460f90630
[1mdiff --git a/src/ui/documentwidget.c b/src/ui/documentwidget.c[m
[1mindex db7d8c8a..1f0bce52 100644[m
[1m--- a/src/ui/documentwidget.c[m
[1m+++ b/src/ui/documentwidget.c[m
[36m@@ -450,6 +450,7 @@[m [mstatic void updateOutlineOpacity_DocumentWidget_(iDocumentWidget *d) {[m
 [m
 static void animatePlayingAudio_DocumentWidget_(void *widget) {[m
     iDocumentWidget *d = widget;[m
[32m+[m[32m    if (document_App() != d) return;[m
     iConstForEach(PtrArray, i, &d->visiblePlayers) {[m
         const iGmRun *run = i.ptr;[m
         iPlayer *plr = audioPlayer_Media(media_GmDocument(d->doc), run->audioId);[m
[36m@@ -1289,6 +1290,7 @@[m [mstatic iBool handleCommand_DocumentWidget_(iDocumentWidget *d, const char *cmd)[m
         updateOutlineOpacity_DocumentWidget_(d);[m
         updateWindowTitle_DocumentWidget_(d);[m
         allocVisBuffer_DocumentWidget_(d);[m
[32m+[m[32m        animatePlayingAudio_DocumentWidget_(d);[m
         return iFalse;[m
     }[m
     else if (equal_Command(cmd, "server.showcert") && d == document_App()) {[m