Lagrange [release]

Media: Pause other players when a new one starts

Sun Oct 11 13:18:00 2020 +0300

 src/media.c             |  8 +++++++-
 src/media.h             |  1 +
 src/ui/documentwidget.c | 14 ++++++++++++++
 3 files changed, 22 insertions(+), 1 deletion(-)