Re: [PATCH] three bugfixes

Le 20/12/2015 11:28, Jürgen Spitzmüller a écrit : Am Samstag 19 Dezember 2015, 23:35:15 schrieb Guillaume Munch: I tested the patch and it does not solve the reported problem. As I understand it, it only loads the user preamble from the parent document. In my test document, \upharpoonright is st

Re: [PATCH] three bugfixes

On 12/20/2015 09:42 AM, Guillaume Munch wrote: > Le 20/12/2015 04:43, Richard Heck a écrit : >> On 12/19/2015 06:35 PM, Guillaume Munch wrote: >>> >>> Let me ask naively, what is the expected difference with unchecking >>> "Select master document"? >> >> I assume you mean "Select default master doc

Re: [PATCH] three bugfixes

Le 20/12/2015 04:43, Richard Heck a écrit : On 12/19/2015 06:35 PM, Guillaume Munch wrote: Let me ask naively, what is the expected difference with unchecking "Select master document"? I assume you mean "Select default master document"? (apart from the fact that we need to close the master

Re: [PATCH] three bugfixes

Le 20/12/2015 11:28, Jürgen Spitzmüller a écrit : Am Samstag 19 Dezember 2015, 23:35:15 schrieb Guillaume Munch: I tested the patch and it does not solve the reported problem. As I understand it, it only loads the user preamble from the parent document. In my test document, \upharpoonright is st

Re: [PATCH] three bugfixes

Am Samstag 19 Dezember 2015, 23:35:15 schrieb Guillaume Munch: > I tested the patch and it does not solve the reported problem. As I > understand it, it only loads the user preamble from the parent document. > In my test document, \upharpoonright is still not defined because the > macros are still

Re: [PATCH] three bugfixes

On 12/19/2015 06:35 PM, Guillaume Munch wrote: > > Let me ask naively, what is the expected difference with unchecking > "Select master document"? I assume you mean "Select default master document"? > (apart from the fact that we need to close the master document and > reopen the child after this

Re: [PATCH] three bugfixes

Le 19/12/2015 13:54, Jürgen Spitzmüller a écrit : Am Donnerstag 17 Dezember 2015, 16:43:32 schrieb Guillaume Munch: I am confused now because it seems to be saying that outputting the master preamble was already the intended meaning after the fix to 8445. Jürgen, is this correct or am I misinter

Re: [PATCH] three bugfixes

Am Donnerstag 17 Dezember 2015, 16:43:32 schrieb Guillaume Munch: > I am confused now because it seems to be saying that outputting the > master preamble was already the intended meaning after the fix to 8445. > Jürgen, is this correct or am I misinterpreting? Yes, I probably thought that this was

Re: [PATCH] three bugfixes

On Thu, Dec 17, 2015 at 04:43:32PM +, Guillaume Munch wrote: > As for the long term, maybe we could have an option "Copy the master > preamble" in the document properties dialog in the future, and have this > preamble also validated against the macros that are included from master. I would pe

Re: [PATCH] three bugfixes

Le 17/12/2015 15:15, Richard Heck a écrit : On 12/17/2015 08:10 AM, Jean-Marc Lasgouttes wrote: Le 17/12/2015 03:40, Guillaume Munch a écrit : Dear list Here are three small bugfixes, all of which are quite straightforward (and none change the file format): 1) Limit the size of navigation me

Re: [PATCH] three bugfixes

Le 17/12/2015 15:13, Richard Heck a écrit : On 12/17/2015 08:10 AM, Jean-Marc Lasgouttes wrote: Le 17/12/2015 03:40, Guillaume Munch a écrit : 3) Use the parent's preamble to preview the child. See . I could test that the previews in my child document displa

Re: [PATCH] three bugfixes

On 12/17/2015 08:10 AM, Jean-Marc Lasgouttes wrote: > Le 17/12/2015 03:40, Guillaume Munch a écrit : >> Dear list >> >> >> Here are three small bugfixes, all of which are quite straightforward >> (and none change the file format): >> >> 1) Limit the size of navigation menus for performance, which I

Re: [PATCH] three bugfixes

On 12/17/2015 08:10 AM, Jean-Marc Lasgouttes wrote: > Le 17/12/2015 03:40, Guillaume Munch a écrit : >> 3) Use the parent's preamble to preview the child. See >> . I could test that the previews in >> my child document display correctly now. > I can predict that

Re: [PATCH] three bugfixes

Le 17/12/2015 03:40, Guillaume Munch a écrit : > Dear list > > > Here are three small bugfixes, all of which are quite straightforward > (and none change the file format): > > 1) Limit the size of navigation menus for performance, which I was > speaking about to Jean-Marc somewhere on the bug tr

Re: [PATCH] three bugfixes

These look good, but I'd like an opportunity to study them before them are committed. I'll try to get to that tomorrow. Time is tight right now, due to end of semester. And we are trying to sell one house and buy another during the holiday season, which is not easy. Richard On 12/16/2015 09