window.onload = function()

in src/main/resources/res/ui/clipboard.js [24:31]


window.onload = function() {
  button = document.querySelector("#copy");
  if (button != null) {
    button.addEventListener("click", function() {
      copyToClipboard(document.querySelector("#output"));
    });
  }
}