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
I'm a little confused by your word choice for adoc-promote and adoc-denote.
First, the opposite of promote is demote, not denote. Denote means to indicate.
Second, promote in this sense means to increase in rank. Shouldn't that take a heading and make it a more important heading? Right now, it turns a heading into a subheading.
Minor issues, I know, but I thought I'd open an issue anyway. Thanks for adoc-mode!
The text was updated successfully, but these errors were encountered:
You're right in both points. I corrected the mistake of saying denote of demote and pushed the commit. I am not sure if I now should toggle the meaning of demote and promote, now that the 'wrong' meaning is already out for a few years.
I'm a little confused by your word choice for
adoc-promote
andadoc-denote
.First, the opposite of promote is demote, not denote. Denote means to indicate.
Second, promote in this sense means to increase in rank. Shouldn't that take a heading and make it a more important heading? Right now, it turns a heading into a subheading.
Minor issues, I know, but I thought I'd open an issue anyway. Thanks for adoc-mode!
The text was updated successfully, but these errors were encountered: