Home
last modified time | relevance | path

Searched refs:buttonElement (Results 1 – 4 of 4) sorted by relevance

/plugin/mizarverifiabledocs/src/
H A Dscript.js805 const buttonElement = event.currentTarget; constant
806 const mizarIdRaw = buttonElement.dataset.mizarid;
820 buttonElement.textContent = "Copied!";
821 buttonElement.disabled = true;
824 buttonElement.textContent = "Copy";
825 buttonElement.disabled = false;
/plugin/mizarveifiabledocs/dist/
Dscript.js.map1 …buttonElement = event.currentTarget;\n const mizarIdRaw = buttonElement.dataset.mizarid…
/plugin/mizarproofchecker/dist/
Dscript.js.map1 …buttonElement = event.currentTarget;\n const mizarIdRaw = buttonElement.dataset.mizarid…
/plugin/mizarverifiabledocs/dist/
H A Dscript.js.map1 …buttonElement = event.currentTarget;\n const mizarIdRaw = buttonElement.dataset.mizarid…