On Monday 19 August 2002 6:50 pm, Martin Vermeer wrote:
> On Mon, Aug 19, 2002 at 07:46:08PM +0300, Martin Vermeer wrote:
> > Anyway, when the ongoing compilation ends, this problem will be
> > obsolete. I have introduced a boolean HasOption, as per your suggestion.
>
> Here is the code.
Sigh. It would be nice if you'd incorparate my change of
InsetShortTitle * Paragraph::shortTitleInset() const;
to
namespace {
InsetShortTitle * shortTitleInset(Paragraph const &);
}
There's absolutely no need to polute a globally accessible header in this way.
Angus
