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

Matthew Leach writes: [...] > %%% Local Variables: > %%% Document Variables: > %%% mode: latex > %%% TeX-master: t > %%% End: Oops that should have been: --8<---cut here---start->8--- %%% Document Variables: %%% Local Variables: %%%

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

Hi Mosè, Mosè Giordano 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.

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

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

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

Hi Matt, 2016-04-13 20:09 GMT+02:00 Matthew Leach : > 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è

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

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. Feedback welcome. Thanks, -- Matt >From 9cd186203bcc4254701c2323064231a614716736 Mon Sep 17 00:00:00 2001 From: Matthew Leach