reveal.js: open help overlay with '?' on non-US keyboard layouts
Upstream matches only the US keyCodes (63/191)+shift, so Shift+ß on a
German layout never opened the help screen in Chrome. Match event.key
instead; F1 unchanged. tools/patch-revealjs.py re-applies this (and any
future vendored tweaks) after reveal.js updates via update-reveal.R.
Change-Id: Ie83bf56916db94b7fd6ad8e7d5c6998c264dd72b
diff --git a/tools/update-reveal.R b/tools/update-reveal.R
index 3be6803..5d13db9 100644
--- a/tools/update-reveal.R
+++ b/tools/update-reveal.R
@@ -175,3 +175,13 @@
})
gert::git_add(plugin_folders)
+
+
+# Re-apply IDS-local patches ----------------------------------------------
+
+## The vendored dist/reveal.js carries local modifications on top of upstream
+## (currently: '?' opens the help overlay on non-US keyboard layouts). They
+## live in tools/patch-revealjs.py as exact-match replacements; re-apply them
+## after the update above. The script fails loudly if upstream changed the
+## patched code, so nothing is lost silently.
+system2("python3", "tools/patch-revealjs.py")