Jean-Marc Lasgouttes wrote: > And when the documentation is printed? no, and so what? as long as we have documented where to find the info, and as long as it is easily accessible
>> we can then simply add a shortcut in the help menu that shows this log file >> in the same way we show the latex log file. > > How many people can read a latex log file? Certainly not a majority > among people who prefer to use LyX instead of bare latex. well what is the point of latexfeatures.lyx? first nobody looks at this. second, the few unlucky ones that do probably have a problem that they want to report. the configure.log file would be enough in this case. > In any case, there is not much bloat in this feature. bloat is bloat and many little bloats make one big bloat