On Sun, Oct 7, 2012 at 9:26 AM, Pavel Sanda <sa...@lyx.org> wrote: > Scott Kostyshak wrote: >> A patch is attached. Is this what you had in mind? >> >> Do you have a good name for the new tab? Here are a few ideas: >> Diagnostics >> Extended Info >> Build Info > > I think Build Info is better naming than Diagnostics. > Put it in. Pavel
OK it's in. Thanks, Scott
