[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: |
Thu, 14 Apr 2016 00:49:54 +0200 |
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è