Lagrange [release]
Player: Rewind button in the UI
[1mdiff --git a/src/ui/documentwidget.c b/src/ui/documentwidget.c[m
[1mindex 81d7e879..9d94f200 100644[m
[1m--- a/src/ui/documentwidget.c[m
[1m+++ b/src/ui/documentwidget.c[m
[36m@@ -1721,6 +1721,13 @@[m [mstatic iBool processAudioPlayerEvents_DocumentWidget_(iDocumentWidget *d, const[m
animatePlayingAudio_DocumentWidget_(d);[m
return iTrue;[m
}[m
[32m+[m[32m else if (contains_Rect(ui.rewindRect, mouse)) {[m
[32m+[m[32m stop_Player(plr);[m
[32m+[m[32m start_Player(plr);[m
[32m+[m[32m setPaused_Player(plr, iTrue);[m
[32m+[m[32m refresh_Widget(d);[m
[32m+[m[32m return iTrue;[m
[32m+[m[32m }[m
}[m
}[m
return iFalse;[m