[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [AUCTeX-devel] [PATCH] auto-save the value of `TeX-command-extra-opt
From: |
Mosè Giordano |
Subject: |
Re: [AUCTeX-devel] [PATCH] auto-save the value of `TeX-command-extra-options' |
Date: |
Fri, 15 Apr 2016 00:30:22 +0200 |
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.
Three years ago I tried to implement support for jobnames different
from default one, but jobname was to be set locally in master file and
shared among other files of the same project. I gave up (also)
because I didn't find a simple way to share the value of a variable
that was set locally.
Bye,
Mosè
2016-04-14 0:49 GMT+02:00 Mosè Giordano <address@hidden>:
> On second thought, isn't it better to store the variable only if it's
> local bound (local-variable-p 'TeX-command-extra-options
> (current-buffer)) rather than testing if it's the empty string? If
> one has that variable set to a non-empty string globally but an empty
> string locally, that would result in an unexpected result.
>
> Bye,
> Mosè
>
> 2016-04-13 21:06 GMT+02:00 Mosè Giordano <address@hidden>:
>> Hi Matt,
>>
>> 2016-04-13 20:09 GMT+02:00 Matthew Leach <address@hidden>:
>>> Hi all,
>>>
>>> Please see the attached patch that saves the value of
>>> `TeX-command-extra-options' to the auto-save file so it gets set
>>> project-wide.
>>
>> Looks good, go ahead.
>>
>> Thanks,
>> Mosè