}
-InsetLabel::~InsetLabel()
+Inset * InsetLabel::Clone() const
{
-}
-
-
-Inset * InsetLabel::Clone()
-{
- InsetLabel * result = new InsetLabel(getCommand());
- return result;
+ return new InsetLabel(getCommand());
}
return contents;
}
-int InsetLabel::Latex(FILE * file, signed char /*fragile*/)
+
+int InsetLabel::Latex(ostream & os, signed char /*fragile*/)
{
- fprintf(file, "%s", escape(getCommand()).c_str());
+ os << escape(getCommand());
return 0;
}