ostream & operator<<(ostream & os, MathInset const & inset)
{
- WriteStream wi(os, false);
+ WriteStream wi(os, false, false);
inset.write(wi);
return os;
}
}
-void MathInset::idxDelete(idx_type &, bool & popit, bool & deleteit)
-{
- popit = false;
- deleteit = false;
-}
-
-
void MathInset::normalize(NormalStream & os) const
{
os << "[unknown ";
- WriteStream wi(os.os(), false);
+ WriteStream wi(os.os(), false, true);
write(wi);
os << "] ";
}
void MathInset::dump() const
{
lyxerr << "---------------------------------------------\n";
- WriteStream wi(lyxerr, false);
+ WriteStream wi(lyxerr, false, true);
write(wi);
lyxerr << "\n---------------------------------------------\n";
}