Stian Håklev
Staff
In reply to
Dario da Silva
Dario da Silva
Dec 13, 2023
Dario da Silva
Dario da Silva
Very cool! Just not sure how to toggle headers with the keyboard shortcut? Using "!" for headers doesn't do the same thing as "#" for supertags, as one would expect from the way shortcuts are displaye...
! at the beginning of a node should do what you expect. (We don't allow multiple ! for different heading levels).
Ah, I see - it has to be at the beginning of the node
That works :)