installCopyCode = (htmlElement, { invalidation } = {}) => {
if (!document.getElementById("_509d6b5d1aebf2a1")) {
document.head.append(style());
}
const createButton = () => {
const div = document.createElement("div");
div.style = "position: relative; width: 0; height: 0";
const copyButton = document.createElement("button");
copyButton.style = "position: relative;";
copyButton.type = "button";
copyButton.ariaLabel = "Copy code to clipboard";
copyButton.innerText = "copy";
copyButton.onclick = (evt) => {
console.log(evt);
var code = htmlElement.querySelector("code").innerText.trim();
window.navigator.clipboard.writeText(code);
copyButton.innerText = "copied";
setTimeout(() => {
copyButton.innerText = "copy";
}, 2000);
};
div.append(copyButton);
return div;
};
const ui = createButton();
console.log("create button", ui.firstChild.onclick);
htmlElement.prepend(ui);
if (invalidation) invalidation.then(() => ui.remove());
}