Re: [AUCTeX-devel] Sharing value of a variable between all files of the same document

2016-04-20 Thread Mosè Giordano
2016-04-21 0:00 GMT+02:00 Matthew Leach : > Hi Mosè, > > The patch looks great, just some minor comments below. > > Mosè Giordano writes: > > [...] > >>> If we are going to be extending this idea for other variables, maybe we >>> could have a macro that builds the TeX-command-extra-options form to

Re: [AUCTeX-devel] Sharing value of a variable between all files of the same document

2016-04-20 Thread Matthew Leach
Hi Mosè, The patch looks great, just some minor comments below. Mosè Giordano writes: [...] >> If we are going to be extending this idea for other variables, maybe we >> could have a macro that builds the TeX-command-extra-options form to be >> written to the auto-save file? Performing these

Re: [AUCTeX-devel] Sharing value of a variable between all files of the same document

2016-04-20 Thread Mosè Giordano
2016-04-20 23:12 GMT+02:00 Matthew Leach : >> diff --git a/tex.el b/tex.el >> index b85a72a..b3e9465 100644 >> --- a/tex.el >> +++ b/tex.el >> @@ -2513,6 +2513,16 @@ Return nil otherwise." >> (search-backward "\n\^L" (max (- (point-max) 3000) (point-min)) 'move) >> (re-search-forward "^%+

Re: [AUCTeX-devel] Sharing value of a variable between all files of the same document

2016-04-20 Thread Matthew Leach
Mosè Giordano writes: > Hi Matt, Hi Mosè, [...] > please find attached my proposal. It's only a proof-of-concept to show > how my idea works, it should then be extended to include other options > (for example, `TeX-engine', `TeX-PDF-mode', `TeX-PDF-from-DVI', > `ConTeXt-Mark-version', please

Re: [AUCTeX-devel] Sharing value of a variable between all files of the same document

2016-04-20 Thread Mosè Giordano
Hi Matt, 2016-04-17 13:40 GMT+02:00 Matthew Leach : > Mosè Giordano writes: > >> Hi Matt, > > Hi Mosè, > >> 2016-04-16 23:57 GMT+02:00 Matthew Leach : >>> Would `TeX-document-variables' be stored exclusively in the TeX-master's >>> auto-save file or all the auto-save files for a document? If it