///
bool forceDefaultParagraphs(idx_type) const { return true; }
/// should paragraph indendation be ommitted in any case?
- bool neverIndent() const { return true; }
+ bool neverIndent(Buffer const &) const { return true; }
protected:
InsetERT(InsetERT const &);
///