- mathed_char_height(LM_TC_VAR, size, 'M', ascent, descent);
- width = mathed_char_width(LM_TC_VAR, size, 'M');
- switch (code) {
- case LM_ldots: dh = 0; break;
- case LM_cdots: dh = ascent/2; break;
- case LM_vdots: width /= 2;
- case LM_ddots: dh = ascent; break;
- }
-}
-
-
-void
-MathDotsInset::Write(ostream & os, bool /* fragile */)
+ mathed_draw_deco(pain, x + 2, y - dh_, width_ - 2, ascent_, name_);
+ if (name_ == "vdots" || name_ == "ddots")
+ ++x;
+ if (name_ != "vdots")
+ --y;
+ mathed_draw_deco(pain, x + 2, y - dh_, width_ - 2, ascent_, name_);
+}
+
+
+void MathDotsInset::write(WriteStream & os) const
+{
+ os << '\\' << name_ << ' ';
+}
+
+
+void MathDotsInset::normalize(NormalStream & os) const