Re: [AUCTeX-devel] [PATCH] auto-save the value of `TeX-command-extra-options'

[Matthew Leach]

Hi Mosè,

Mosè Giordano <address@hidden> writes:

> On third thought, it's pretty tricky to locally change the value of
> `TeX-command-extra-options' once it's set.  The only simple way I
> found is to manually edit the auto saved file and then revert the *TeX
> buffer, not the best option indeed.

I agree - this doesn't seem like an ideal fix.  One possible solution
that I've thought about that seems more intuitive is to include a new
line in the footer of TeX-master files for variables that should be set
document-wide.

For example, when I create a new TeX file I have:

--8<---------------cut here---------------start------------->8---
%%% Local Variables:
%%% mode: latex
%%% TeX-master: t
%%% End:
--8<---------------cut here---------------end--------------->8---

What about if we add a new category called 'Document Variables':

--8<---------------cut here---------------start------------->8---
%%% Local Variables:
%%% Document Variables:
%%% mode: latex
%%% TeX-master: t
%%% End:
--8<---------------cut here---------------end--------------->8---

and all variables that are set here would be set locally on any TeX file
that has this file listed as the TeX-master?  Setting 'Document
Variables' where TeX-master is not `t' would be silently ignored.

Do you think that could work?
-- 
Matt