string const InsetUrl::getScreenLabel() const
{
string temp;
- if( getCmdName() == "url" )
+ if (getCmdName() == "url" )
temp = _("Url: ");
else
temp = _("HtmlUrl: ");
- if(!getOptions().empty())
+ if (!getOptions().empty())
temp += getOptions();
else
temp += getContents();
}
-int InsetUrl::Ascii(Buffer const *, ostream & os) const
+int InsetUrl::Ascii(Buffer const *, ostream & os, int) const
{
if (getOptions().empty())
os << "[" << getContents() << "]";