Home
last modified time | relevance | path

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

/plugin/mizarverifiabledocs/src/
H A Dscript.js803 const copyButtons = document.querySelectorAll(".copy-button"); constant
804 copyButtons.forEach((button) => {
/plugin/mizarveifiabledocs/dist/
Dscript.js.map1 …copyButtons = document.querySelectorAll('.copy-button');\n copyButtons.forEach((button)=>{\n …
/plugin/mizarproofchecker/dist/
Dscript.js.map1 …copyButtons = document.querySelectorAll('.copy-button');\n copyButtons.forEach((button)=>{\n …
/plugin/mizarverifiabledocs/dist/
H A Dscript.js.map1 …copyButtons = document.querySelectorAll(\".copy-button\");\n copyButtons.forEach((button)=>{\n …