script.js import "../tools/script.js"
script.jsconst signatureSnipet = text => {
let func = line => line. mathEsc(). sandwich(
"\\left\\lang\\textrm{",
"}\\colon ; ; \\right\\rang"
)
return(text.mapLine(func));
}
scrapbox.PopupMenu.addButton({
title: " 📝 ",
onClick: signatureSnipet
})