}
+void Inset::drawMarkers(PainterInfo & pi, int x, int y) const
+{
+ Color::color pen_color = mouseHovered() || editing(pi.base.bv)?
+ Color::mathframe : Color::mathcorners;
+
+ int const t = x + width() - 1;
+ int const d = y + descent();
+ pi.pain.line(x, d - 3, x, d, pen_color);
+ pi.pain.line(t, d - 3, t, d, pen_color);
+ pi.pain.line(x, d, x + 3, d, pen_color);
+ pi.pain.line(t - 3, d, t, d, pen_color);
+ setPosCache(pi, x, y);
+}
+
+
+void Inset::drawMarkers2(PainterInfo & pi, int x, int y) const
+{
+ Color::color pen_color = mouseHovered() || editing(pi.base.bv)?
+ Color::mathframe : Color::mathcorners;
+
+ drawMarkers(pi, x, y);
+ int const t = x + width() - 1;
+ int const a = y - 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);
+}
+
+
bool Inset::editing(BufferView * bv) const
{
return bv->cursor().isInside(this);