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. -- 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>
