aboutsummaryrefslogtreecommitdiff
path: root/p/scripts/main.js
diff options
context:
space:
mode:
authorGravatar Alexis Degrugillier <aledeg@users.noreply.github.com> 2020-06-05 23:37:05 +0200
committerGravatar GitHub <noreply@github.com> 2020-06-05 23:37:05 +0200
commitdc68783fc844323682ad19c8156417a1ec7ac998 (patch)
tree58d6daeb288ad0616734297b2c6695a4d2b59930 /p/scripts/main.js
parent8c4d71da2ef1366c8fcd3e7dfb7f4566d2f905f4 (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.js13
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;
};
}