ynkmr/Sourcetrail
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

ui: Improved line number disappearing fix

Browse Source
This commit is contained in:
Eberhard Graether
2019-01-15 00:00:12 +01:00
parent 711cd6ce1c
commit f4859ee094
1 changed files with 5 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/lib_gui/qt/element/QtCodeArea.cpp
+5 -9
View File
@@ -231,17 +231,13 @@ void QtCodeArea::lineNumberAreaPaintEvent(QPaintEvent *event)
QPen p = painter.pen();
int scrollBarHeight = 0;
if (horizontalScrollBar()->minimum() != horizontalScrollBar()->maximum() && utility::getOsType() != OS_MAC)
{
scrollBarHeight = horizontalScrollBar()->height();
}
const int drawAreaTop = event->rect().top();
int drawAreaTop = event->rect().top();
int drawAreaBottom = event->rect().bottom() + 1;
if (drawAreaBottom > height() - scrollBarHeight)
if (horizontalScrollBar()->minimum() != horizontalScrollBar()->maximum() && utility::getOsType() != OS_MAC &&
drawAreaBottom > height() - horizontalScrollBar()->height())
{
drawAreaBottom = height() - scrollBarHeight;
drawAreaBottom = height() - horizontalScrollBar()->height();
}
while (block.isValid() && top <= drawAreaBottom)