diff --git a/docs/_static/link_gen/link.js b/docs/_static/link_gen/link.js index d5166117..cea964ab 100644 --- a/docs/_static/link_gen/link.js +++ b/docs/_static/link_gen/link.js @@ -283,3 +283,10 @@ function linkMain() { // Do an initial render, to make sure our disabled / enabled properties are correctly set render(); } + +function copyLink(elementId) { + var copyText = document.getElementById(elementId); + copyText.select(); + copyText.setSelectionRange(0, 99999); + navigator.clipboard.writeText(copyText.value); +} diff --git a/docs/link.rst b/docs/link.rst index a1534f03..e8511727 100644 --- a/docs/link.rst +++ b/docs/link.rst @@ -38,17 +38,25 @@ Use the following form to create your own ``nbgitpuller`` links.