///
void write(Buffer const & buf, std::ostream & os) const;
///
- virtual InsetBase * clone() const;
- ///
Inset::Code lyxCode() const { return Inset::THEOREM_CODE; }
///
void metrics(MetricsInfo &, Dimension &) const;
///
string const editMessage() const;
private:
+ virtual std::auto_ptr<InsetBase> doClone() const;
+
///
mutable unsigned int center_indent_;
};