commit cbabff4686dd8c26383e294131243b7dbd0bc960
Author: Jean-Marc Lasgouttes <[email protected]>
Date: Mon Jan 13 17:42:31 2020 +0100
Do make changebar shorter for last row
I do not know what the intent was, but it is ugly.
---
src/RowPainter.cpp | 6 +-----
1 files changed, 1 insertions(+), 5 deletions(-)
diff --git a/src/RowPainter.cpp b/src/RowPainter.cpp
index b05b143..2216b21 100644
--- a/src/RowPainter.cpp
+++ b/src/RowPainter.cpp
@@ -293,11 +293,7 @@ void RowPainter::paintChange(Row::Element const & e) const
void RowPainter::paintChangeBar() const
{
- int const height = tm_.isLastRow(row_)
- ? row_.ascent()
- : row_.height();
-
- pi_.pain.fillRectangle(5, yo_ - row_.ascent(), 3, height,
Color_changebar);
+ pi_.pain.fillRectangle(5, yo_ - row_.ascent(), 3, row_.height(),
Color_changebar);
}
--
lyx-cvs mailing list
[email protected]
http://lists.lyx.org/mailman/listinfo/lyx-cvs
