On Wed, Feb 25, 2015 at 4:33 PM, Scott Kostyshak <skost...@lyx.org> wrote: > On Wed, Feb 25, 2015 at 4:07 PM, Georg Baum
>> IMHO it can be made an error right away. > > I would be OK with making it an error right away. The argument for > first making it a warning is that from the user perspective, the > documents stop compiling. We had a similar discussion with BibTeX. We > currently do not report BibTeX errors. Jurgen implemented support for > reporting errors (7e188c51) but had to revert (148317b6) because of > user complaints. Does anyone else have an opinion on this? I am fine either way. At first I assumed that because of the BibTeX issue we should be consistent with our decision on that. But perhaps this is different in some way? Scott
