You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
We currently have admonitionTitle, cardTitle and a number of nodes that use admonitionTitle that are not admonitions. I think that these nodes should be title as a node type, perhaps with a kind. And then be shared between admonitions, dropdowns, topics, exercises, proofs, cards, etc.
The text was updated successfully, but these errors were encountered:
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: