Ihor Radchenko <yanta...@posteo.net> writes: > Bastien <b...@gnu.org> writes: > >>> 2. We introduce a new constant: org-element-heading-type, defaulting to >>> 'headline >>> 3. We use the new constant instead of 'headline element type symbol >>> 4. We announce loudly that 'headline will be deprecated in favour of the >>> new constant >>> 5. Few years later, we change the org-element-heading-type value to >>> 'heading >> >> I think this is okay too, though `org-element-heading-type' might not >> be explicit enough: what about `org-element-heading-type-symbol'? > > Agree. I was leaning towards having "symbol" in the name as well after > sleeping with the idea.
I looked into this further and I do not think that it is a good idea to make this change in the coming release. Renaming some things is very too easy to get wrong and cause failures. -- Ihor Radchenko // yantar92, Org mode contributor, Learn more about Org mode at <https://orgmode.org/>. Support Org development at <https://liberapay.com/org-mode>, or support my work at <https://liberapay.com/yantar92>
