diff options
| author | 2020-06-05 23:37:05 +0200 | |
|---|---|---|
| committer | 2020-06-05 23:37:05 +0200 | |
| commit | dc68783fc844323682ad19c8156417a1ec7ac998 (patch) | |
| tree | 58d6daeb288ad0616734297b2c6695a4d2b59930 /p/scripts/main.js | |
| parent | 8c4d71da2ef1366c8fcd3e7dfb7f4566d2f905f4 (diff) | |
Add controls on media (#3036)
Now, there is a shortcut to play or pause media available from an
entry. If there is more than one media available, only the first
one will be targeted.
See #1952
Diffstat (limited to 'p/scripts/main.js')
| -rw-r--r-- | p/scripts/main.js | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/p/scripts/main.js b/p/scripts/main.js index 83c806040..3e9453be0 100644 --- a/p/scripts/main.js +++ b/p/scripts/main.js @@ -581,6 +581,18 @@ function collapse_entry() { toggleContent(flux_current, flux_current, false); } +function toggle_media() { + const media = document.querySelector('.flux.current video,.flux.current audio'); + if (media === null) { + return; + } + if (media.paused) { + media.play(); + } else { + media.pause(); + } +} + function user_filter(key) { const filter = document.getElementById('dropdown-query'), filters = filter.parentElement.querySelectorAll('.dropdown-menu > .query > a'); @@ -861,6 +873,7 @@ function init_shortcuts() { if (k === s.reading_view) { delayedClick(document.querySelector('#nav_menu_views .view-reader')); return false; } if (k === s.global_view) { delayedClick(document.querySelector('#nav_menu_views .view-global')); return false; } if (k === s.rss_view) { delayedClick(document.querySelector('#nav_menu_views .view-rss')); return false; } + if (k === s.toggle_media) { toggle_media(); return false;} return true; }; } |
