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

Reply via email to