From 12d0e0b308a35999735b537e87f221a077f7665a Mon Sep 17 00:00:00 2001
From: Jean-Marc Lasgouttes <lasgouttes@lyx.org>
Date: Mon, 13 Jan 2020 17:42:31 +0100
Subject: [PATCH] Do make changebar shorter for last row

I do not know what the intent was, but it is ugly.
---
 src/RowPainter.cpp | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/src/RowPainter.cpp b/src/RowPainter.cpp
index b05b143fb4..2216b21077 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);
 }
 
 
-- 
2.39.5