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 <m...@gnu.org>: > Hi Matt, > > 2016-04-13 20:09 GMT+02:00 Matthew Leach <matt...@mattleach.net>: >> 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 mailing list auctex-devel@gnu.org https://lists.gnu.org/mailman/listinfo/auctex-devel
