- setPosCache(pi, x, y);
-}
-
-
-void Inset::drawMarkers2(PainterInfo & pi, int x, int y) const
-{
- ColorCode pen_color = mouseHovered() || editing(pi.base.bv)?
- Color_mathframe : Color_mathcorners;
-
- drawMarkers(pi, x, y);
- Dimension const dim = dimension(*pi.base.bv);
- int const t = x + dim.width() - 1;
- int const a = y - dim.ascent();
- pi.pain.line(x, a + 3, x, a, pen_color);
- pi.pain.line(t, a + 3, t, a, pen_color);
- pi.pain.line(x, a, x + 3, a, pen_color);
- pi.pain.line(t - 3, a, t, a, pen_color);
- setPosCache(pi, x, y);