diff options
Diffstat (limited to 'vhosts/blog/nuldoc-src/djot/djot2ndoc.ts')
| -rw-r--r-- | vhosts/blog/nuldoc-src/djot/djot2ndoc.ts | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/vhosts/blog/nuldoc-src/djot/djot2ndoc.ts b/vhosts/blog/nuldoc-src/djot/djot2ndoc.ts index fa0365b0..90b1289c 100644 --- a/vhosts/blog/nuldoc-src/djot/djot2ndoc.ts +++ b/vhosts/blog/nuldoc-src/djot/djot2ndoc.ts @@ -737,6 +737,16 @@ function processDiv(node: DjotDiv): Element { }; } + if (node.attributes?.class === "edit") { + delete node.attributes.class; + return { + kind: "element", + name: "note", + attributes: convertAttributes(node.attributes), + children: node.children.map(processBlock), + }; + } + return { kind: "element", name: "div", |
