diff options
Diffstat (limited to 'vhosts/blog/nuldoc-src/djot/djot2ndoc.ts')
| -rw-r--r-- | vhosts/blog/nuldoc-src/djot/djot2ndoc.ts | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/vhosts/blog/nuldoc-src/djot/djot2ndoc.ts b/vhosts/blog/nuldoc-src/djot/djot2ndoc.ts index 55b63a0d..fa0365b0 100644 --- a/vhosts/blog/nuldoc-src/djot/djot2ndoc.ts +++ b/vhosts/blog/nuldoc-src/djot/djot2ndoc.ts @@ -133,6 +133,9 @@ function processCodeBlock(node: DjotCodeBlock): Element { if (node.attributes?.filename) { attributes.set("filename", node.attributes.filename); } + if (node.attributes?.numbered) { + attributes.set("numbered", "true"); + } return { kind: "element", name: "codeblock", |