///
void write(Buffer const & buf, std::ostream & os) const;
///
- Inset::Code lyxCode() const { return Inset::THEOREM_CODE; }
+ InsetCode lyxCode() const { return THEOREM_CODE; }
///
void metrics(MetricsInfo &, Dimension &) const;
///
void draw(PainterInfo & pi, int x, int y) const;
///
+ bool isMacroScope(Buffer const &) const { return true; }
+ ///
int latex(Buffer const &, odocstream &,
OutputParams const &) const;
///