+ else if (key_->name == "ddots")
+ dh_ = dim.asc;
+ dim_ = dim;
+}
+
+
+void MathDotsInset::draw(PainterInfo & pain, int x, int y) const
+{
+ mathed_draw_deco(pain, x + 2, y - dh_, dim_.width() - 2, dim_.ascent(),
+ key_->name);
+ if (key_->name == "vdots" || key_->name == "ddots")
+ ++x;
+ if (key_->name != "vdots")
+ --y;
+ mathed_draw_deco(pain, x + 2, y - dh_, dim_.width() - 2, dim_.ascent(),
+ key_->name);
+ setPosCache(pain, x, y);
+}