mirror of
https://git.lyx.org/repos/lyx.git
synced 2024-11-23 10:18:50 +00:00
more cosmetics
git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@2515 a592a061-630c-0410-9148-cb99ea01b6c8
This commit is contained in:
parent
9f0fe8a2f6
commit
f3d170c15a
@ -76,20 +76,9 @@ void MathDelimInset::draw(Painter & pain, int x, int y) const
|
|||||||
xo(x);
|
xo(x);
|
||||||
yo(y);
|
yo(y);
|
||||||
|
|
||||||
int w = dw();
|
int const w = dw();
|
||||||
|
int const b = y - ascent_ - 2;
|
||||||
xcell(0).draw(pain, x + w + 2, y);
|
xcell(0).draw(pain, x + w + 2, y);
|
||||||
|
mathed_draw_deco(pain, x, b, w, height() + 4, left_);
|
||||||
if (latexName(left_) == ".") {
|
mathed_draw_deco(pain, x + width() - w, b, w, height() + 4, right_);
|
||||||
pain.line(x + 2, yo() - ascent_, x + 2, yo() + descent_,
|
|
||||||
LColor::mathcursor, Painter::line_onoffdash);
|
|
||||||
} else
|
|
||||||
mathed_draw_deco(pain, x, y - ascent_ - 2, w, height() + 4, left_);
|
|
||||||
|
|
||||||
x += width();
|
|
||||||
|
|
||||||
if (latexName(right_) == ".") {
|
|
||||||
pain.line(x + 2, yo() - ascent_, x + 2, yo() + descent_,
|
|
||||||
LColor::mathcursor, Painter::line_onoffdash);
|
|
||||||
} else
|
|
||||||
mathed_draw_deco(pain, x - dw(), y - ascent_ - 2, w, height() + 4, right_);
|
|
||||||
}
|
}
|
||||||
|
@ -574,6 +574,12 @@ void mathed_draw_deco(Painter & pain, int x, int y, int w, int h,
|
|||||||
string name = l->name;
|
string name = l->name;
|
||||||
int code = (name.size() > 1) ? l->id : name[0];
|
int code = (name.size() > 1) ? l->id : name[0];
|
||||||
|
|
||||||
|
if (name == ".") {
|
||||||
|
pain.line(x + w/2, y, x + w/2, y + h,
|
||||||
|
LColor::mathcursor, Painter::line_onoffdash);
|
||||||
|
return;
|
||||||
|
}
|
||||||
|
|
||||||
deco_struct const * mds = search_deco(code);
|
deco_struct const * mds = search_deco(code);
|
||||||
if (!mds) {
|
if (!mds) {
|
||||||
lyxerr << "Deco was not found. Programming error?\n";
|
lyxerr << "Deco was not found. Programming error?\n";
|
||||||
|
Loading…
Reference in New Issue
Block a user