>>>>> "John" == John Levon <[EMAIL PROTECTED]> writes:

John> On 8 Feb 2001, Jean-Marc Lasgouttes wrote:
>> Yes, I deleted it by mistake from my mailbox. I'm currently
>> adapting the patch in order to test it out. In particular, I do not
>> like explicit concatenation of paths (use AddName).

John> yes, sorry. I should do the same with cvs1.2.0
John> buffer()->getLatexLogName()

Why did you name getLatexLogName() a function that may return a noweb
log name? How are you able now to change the name of the log viewer
according to use_build?

We could have something like

enum { LATEX, BUILD } LogType;

std::pair<LogType, string const &> getLogName();

This would be easy to expand if we want to show other logs (are there
logs that may be interesting?)

JMarc

Reply via email to