Home
last modified time | relevance | path

Searched refs:myIndent (Results 1 – 2 of 2) sorted by relevance

/plugin/mizarverifiabledocs/src/
H A Dscript.js73 const myIndent = indentNodeProp.add({ constant
91 props: [myIndent],
/plugin/mizarverifiabledocs/dist/
H A Dscript.js.map1myIndent = (0, $d245ca63c4fe5041$export$72c7d4c52b3c6460).add({\n // \"Proof\" ノードが来たら親のインデント +…