t...@tsdye.com (Thomas S. Dye) writes:
> Agreed. Perhaps a new property, OPTIONAL_TITLE? The texinfo back-end
> could use this in menus and the latex back-end could pass it to the
> sectioning command, e.g., \chapter[optional]{title} (if this isn't
> already possible).
Back-ends can indeed use specific properties (Beamer back-end does it
with "BEAMER_ENV" and so on). Though, I suggest to prefix the property
name with the name of the backend: "TEXINFO_OPTIONAL_TITLE" (perhaps
a bit verbose).
Then, one can access to it from the headline translator with:
(org-element-property :texinfo-optional-title headline)
Anyway, Jonathan Leech-Pepin will decide what to do about that.
Regards,
--
Nicolas Goaziou
