function copyLink()

in javadocAggregate/search-page.js [41:59]


    function copyLink(e) {
        var textarea = document.createElement("textarea");
        textarea.style.height = 0;
        document.body.appendChild(textarea);
        textarea.value = this.previousSibling.innerText;
        textarea.select();
        document.execCommand("copy");
        document.body.removeChild(textarea);
        var span = this.lastElementChild;
        var copied = span.getAttribute("data-copied");
        if (span.innerHTML !== copied) {
            var initialLabel = span.innerHTML;
            span.innerHTML = copied;
            var parent = this.parentElement.parentElement;
            parent.onmouseleave = parent.ontouchend = copy[0].onmouseenter = function() {
                span.innerHTML = initialLabel;
            };
        }
    }