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 displayed
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 displayed
Something Went Wrong
! at the beginning of a node should do what you expect. (We don't allow multiple ! for different heading levels).