- if (key_->name == "vdots" || key_->name == "ddots" || key_->name == "adots" || key_->name == "iddots")
- ++x;
- if (key_->name == "adots" || key_->name == "iddots")
- ++y;
- else if (key_->name != "vdots")
- --y;
- mathed_draw_deco(pi, x + 2, y - dh_, dim.width() - 2, dim.ascent(),
- key_->name);