X-Git-Url: https://git.lyx.org/gitweb/?a=blobdiff_plain;f=src%2FRowPainter.cpp;h=a88ac2a6be39bd7a8bd2794aee1f9fdf6b2aaf6f;hb=55012674c87bae73da86b64148427b0e6e3c58f4;hp=718b1a9aeaea435a9b4c6ceac2e3ca7d3c30cd63;hpb=9a15d354437a37342cf71a892b8b7a9b5338c5ad;p=lyx.git diff --git a/src/RowPainter.cpp b/src/RowPainter.cpp index 718b1a9aea..a88ac2a6be 100644 --- a/src/RowPainter.cpp +++ b/src/RowPainter.cpp @@ -507,30 +507,6 @@ static int getEndLabel(pit_type p, Text const & text) void RowPainter::paintLast() const { int const endlabel = getEndLabel(row_.pit(), text_); - - // paint imaginary end-of-paragraph character - - Change const & change = par_.lookupChange(par_.size()); - if (change.changed()) { - FontMetrics const & fm = - theFontMetrics(pi_.base.bv->buffer().params().getFont()); - int const length = fm.maxAscent() / 2; - Color col = change.color(); - - pi_.pain.line(int(x_) + 1, yo_ + 2, int(x_) + 1, yo_ + 2 - length, col, - Painter::line_solid, 3); - - if (change.deleted()) { - pi_.pain.line(int(x_) + 1 - length, yo_ + 2, int(x_) + 1 + length, - yo_ + 2, col, Painter::line_solid, 3); - } else { - pi_.pain.line(int(x_) + 1 - length, yo_ + 2, int(x_) + 1, - yo_ + 2, col, Painter::line_solid, 3); - } - } - - // draw an endlabel - switch (endlabel) { case END_LABEL_BOX: case END_LABEL_FILLED_BOX: {