diff options
| author | Jaakko Keränen <jaakko.keranen@iki.fi> | 2021-06-10 06:33:05 +0300 |
|---|---|---|
| committer | Jaakko Keränen <jaakko.keranen@iki.fi> | 2021-06-10 06:33:05 +0300 |
| commit | fdfd11b8a1a2d00c850039c8237208010236f765 (patch) | |
| tree | 91b43b5f018312913d81fc0c3c27b4a9d63ea80f /src/ui/root.h | |
| parent | f63ed76597b462c60b3a6ad89f8c165ffb87d00c (diff) | |
DocumentWidget: Pause audio when document changes
While document media is now kept in memory even in history, it's quite strange if audio players keep playing on a page viewed in the past without a way to control the playback.
Diffstat (limited to 'src/ui/root.h')
0 files changed, 0 insertions, 0 deletions