using frontend::Painter;
-using std::endl;
-using std::ostream;
-
void InsetPagebreak::read(Buffer const &, Lexer &)
{
}
-void InsetPagebreak::write(Buffer const &, ostream & os) const
+void InsetPagebreak::write(Buffer const &, std::ostream & os) const
{
os << "\n" << getCmdName() << '\n';
}