diff options
| author | Martin van Zijl <martin.vanzijl@gmail.com> | 2020-07-01 07:42:29 +1200 |
|---|---|---|
| committer | Noel Grandin <noel.grandin@collabora.co.uk> | 2020-09-08 08:27:13 +0200 |
| commit | 5989ffe70942af036974b70c9e0ecd67978c6cc6 (patch) | |
| tree | 25c06fa78b49a9be082e07a459a3bdb2a55f8602 /jvmfwk | |
| parent | 5267b6c04eed2662726bb90899eb40414779fcb3 (diff) | |
tdf#34759 fix media player pausing when pressing time slider
Change-Id: I196549f168d67895510a239640c492cfc421fb07
Reviewed-on: https://gerrit.libreoffice.org/c/core/+/97644
Tested-by: Jenkins
Reviewed-by: Noel Grandin <noel.grandin@collabora.co.uk>
Diffstat (limited to 'jvmfwk')
0 files changed, 0 insertions, 0 deletions