Re: [O] [PATCH] Adding a BEAMER_HEADER_EXTRA tag, allows short titles, etc.

[Nicolas Goaziou]

Matthew Gidden <address@hidden> writes:

> Another option would be to simply move BEAMER_HEADER to inject code where I
> have implemented BEAMER_HEADER_EXTRA. That would provide the same
> functionality with a reasonable name. I still need to better format my
> commit message (I forgot to before submitting), so I can make any other
> updates that are deemed necessary.

Fair enough. We can insert BEAMER_HEADER lines later and use
LATEX_HEADER for early lines.

Regards,