When the Copy button is pressed, focus is lost and scrolling the page

with the arrow keys stops working. Fixed by upgrading ClipboardJS to the latest version
Ruin0x11 · Apr 23, 2019 · 691323b · 691323b
1 parent f60ebce
commit 691323b
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/src/theme/book.js b/src/theme/book.js
@@ -543,7 +543,7 @@ function playpen_text(playpen) {
         elem.className = 'fa fa-copy tooltipped';
     }
 
-    var clipboardSnippets = new Clipboard('.clip-button', {
+    var clipboardSnippets = new ClipboardJS('.clip-button', {
         text: function (trigger) {
             hideTooltip(trigger);
             let playpen = trigger.closest("pre");