On 2016-11-21, Scott Kostyshak wrote: > On Mon, Nov 21, 2016 at 09:58:00AM +0000, Guenter Milde wrote: >> On 2016-11-21, Scott Kostyshak wrote:
>> > When including a child document, should the child document's setting for >> > non-TeX fonts affect compilation from the master? ... > Thanks for the explanation. I expected master's setting to dominate, but > perhaps there are other issues with that. I doubt many people do that > intentionally, so perhaps the best is just a warning to the user. Suggestion: * use the master setting when compiling the master * use the child setting when compiling the child. Depending on the documents content and setup, this may work or not. (We know there are documents that work with both 8-bit and Unicode fonts as well as documents that fail with changed font setting.) Therefore: * Warn the user when including a child document with different "use-non-TeX-fonts" setting. Günter
