Merge pull request rust-lang#867 from ffissore/master

Fixed loss of focus when clicking the Copy button
Ruin0x11 · Apr 23, 2019 · fa7750a · fa7750a
2 parents 70e9968 + 691323b
commit fa7750a
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");