Nicolas Goaziou <n.goaz...@gmail.com> writes: > Richard Lawrence <richard.lawre...@berkeley.edu> writes: > >> Would using a different property---say, LATEX_LABEL---resolve your >> concerns? This property could be explicitly documented as overriding >> Org's default labeling, with the value passed down directly to LaTeX. > > I'd rather have a variable, e.g., `org-latex-custom-id-as-label'. When > this variable is non-nil, Org uses raw custom ID value instead of > auto-generated value for labels. > > Its docstring should explain the limitations that are introduced when > using this variable, and in which cases it is interesting to enable it > (i.e, your use-case). IOW the docstring should be informative about the > trade-off.
Ah, yes, that is more elegant. > So, it's basically your patch with an additional variable and its > docstring. Do you want to take care of it? Sure, I can do this in the next couple of days. Best, Richard (If possible, please encrypt your reply to me using my PGP key: Key ID: CF6FA646 Fingerprint: 9969 43E1 CF6F A646. See http://www.ocf.berkeley.edu/~rwl/encryption.html for more information.)