Just a short question: For what purpose is buffer->niceFile there? It is 
used in insetgraphics and insetinclude, but both have access to 
runparams.nice which should serve the same purpose. Can buffer->niceFile 
go?


Georg


Reply via email to