Angus Leeming <[EMAIL PROTECTED]> writes: > On Friday 12 July 2002 9:13 am, David Kastrup wrote: > > David Kastrup <[EMAIL PROTECTED]> writes: > > > If that's ok, just use grep, which will probably be faster. > > > > > > grep '^Preview: Snippet /' > > > > And do the obvious correction to the line above. Argh. > > ;-) > aleem@pneumon:tmp-> grep '^Preview: Snippet' 1lyxpreview.log > Preview: Snippet 1 492688 0 744653) > Preview: Snippet 2 1441792 163840 16026923) > Preview: Snippet 3 282168 0 377591) > Preview: Snippet 4 1619363 449545 16026923) > > Could you further modify prlyx.cfg to not output that final > ')'. Attached.
Could you adjust your local copy of prlyx.def (and, more importantly, the scripts that evaluate its output) so that it will not finish the Preview: Tightpage and Preview: Fontsize lines with a period? I have decided to strike them off for consistency with the Preview: Snippet line (which goes without such a period). The finally released version will also differ in that it does not mind the order of lyx/tightpage option, and that it will output a Preview: Tightpage line before any snippet whenever the user has chosen to redefine the tightpage border adjustments compared to the preceding snippet. I'll probably commit to CVS tomorrow, have to do a bit of testing before. -- David Kastrup, Kriemhildstr. 15, 44793 Bochum Email: [EMAIL PROTECTED]