{
ArrayChanger dummy(mi.base);
MathGridInset::metrics(mi);
+ metricsMarkers2();
}
{
ArrayChanger dummy(pi.base);
MathGridInset::draw(pi, x, y);
+ drawMarkers2(pi, x, y);
}
}
+void MathArrayInset::infoize(std::ostream & os) const
+{
+ os << "Array";
+}
+
+
void MathArrayInset::normalize(NormalStream & os) const
{
os << '[' << name_ << ' ';
///
void write(WriteStream & os) const;
///
- void normalize(NormalStream &) const;
+ void infoize(std::ostream & os) const;
///
- void maple(MapleStream &) const;
+ void normalize(NormalStream & os) const;
+ ///
+ void maple(MapleStream & os) const;
private:
///