AST: Nodes for title should be shared (admonitionTitle
, cardTitle
)
#1139
Labels
AST
Abstract Syntax Tree
admonitionTitle
, cardTitle
)
#1139
We currently have
admonitionTitle
,cardTitle
and a number of nodes that useadmonitionTitle
that are not admonitions. I think that these nodes should betitle
as a node type, perhaps with akind
. And then be shared between admonitions, dropdowns, topics, exercises, proofs, cards, etc.The text was updated successfully, but these errors were encountered: