void Inset::metricsMarkers(Dimension & dim, int framesize) const
{
dim.wid += 2 * framesize;
- dim.asc += framesize;
+ dim.des += framesize;
}
void Inset::drawMarkers(PainterInfo & pi, int x, int y) const
{
Color::color pen_color = editing(pi.base.bv)?
- Color::mathframe : Color::background;
+ Color::mathframe : Color::mathcorners;
int const t = x + width() - 1;
int const d = y + descent();
void Inset::drawMarkers2(PainterInfo & pi, int x, int y) const
{
Color::color pen_color = editing(pi.base.bv)?
- Color::mathframe : Color::background;
+ Color::mathframe : Color::mathcorners;
drawMarkers(pi, x, y);
int const t = x + width() - 1;