This commit is contained in:
Enrico Forestieri 2021-02-23 19:59:57 +01:00
parent f59dafe898
commit 368e983abb
2 changed files with 6 additions and 6 deletions

View File

@ -43,8 +43,8 @@ void InsetMathDots::metrics(MetricsInfo & mi, Dimension & dim) const
if (key_->name == "cdots" || key_->name == "dotsb" if (key_->name == "cdots" || key_->name == "dotsb"
|| key_->name == "dotsm" || key_->name == "dotsi") || key_->name == "dotsm" || key_->name == "dotsi")
dh_ = dim.asc / 2; dh_ = dim.asc / 2;
else if (key_->name == "dotsc") else if (key_->name == "dotsc" || key_->name == "ldots")
dh_ = dim.asc / 4; dh_ = 2;
else if (key_->name == "ddots" || key_->name == "adots" else if (key_->name == "ddots" || key_->name == "adots"
|| key_->name == "iddots" || key_->name == "vdots") || key_->name == "iddots" || key_->name == "vdots")
dh_ = dim.asc; dh_ = dim.asc;
@ -58,7 +58,7 @@ void InsetMathDots::draw(PainterInfo & pi, int x, int y) const
--y; --y;
else if (key_->name == "vdots") else if (key_->name == "vdots")
x += (dim.width() - 2) / 2; x += (dim.width() - 2) / 2;
mathed_draw_deco(pi, x + 2, y - dh_, dim.width() - 2, dim.ascent(), mathed_draw_deco(pi, x - 1, y - dh_, dim.width() - 2, dim.ascent(),
key_->name); key_->name);
} }

View File

@ -363,9 +363,9 @@ double const ddddot[] = {
double const hline3[] = { double const hline3[] = {
5, 0.15, 0.05, 0.0625, 0.0625, 5, 0.15, 0.0, 0.0625, 0.0625,
5, 0.50, 0.05, 0.0625, 0.0625, 5, 0.50, 0.0, 0.0625, 0.0625,
5, 0.85, 0.05, 0.0625, 0.0625, 5, 0.85, 0.0, 0.0625, 0.0625,
0 0
}; };