1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
|
// SPDX-FileCopyrightText: Copyright (c) Kitware Inc.
// SPDX-FileCopyrightText: Copyright (c) Sandia Corporation
// SPDX-License-Identifier: BSD-3-Clause
#include "pqPythonLineNumberArea.h"
#include "pqPythonScriptEditor.h"
#include "pqPythonUtils.h"
#include <cmath>
#include <QPaintEvent>
#include <QPainter>
#include <QScrollBar>
#include <QTextBlock>
namespace details
{
//-----------------------------------------------------------------------------
inline std::uint32_t getNumberOfDigits(std::uint32_t i)
{
return i > 0 ? static_cast<std::int32_t>(std::log10(static_cast<float>(i)) + 1) : 1;
}
}
//-----------------------------------------------------------------------------
QSize pqPythonLineNumberArea::sizeHint() const
{
const std::uint32_t numberOfDigits =
details::getNumberOfDigits(std::max(1, this->TextEdit.document()->blockCount()));
const std::int32_t space = 2 * this->TextEdit.fontMetrics().horizontalAdvance(' ') +
numberOfDigits * this->TextEdit.fontMetrics().horizontalAdvance(QLatin1Char('9'));
return QSize{ space, this->TextEdit.height() };
}
//-----------------------------------------------------------------------------
void pqPythonLineNumberArea::paintEvent(QPaintEvent* event)
{
QPainter painter(this);
const QPalette& palette = this->palette();
painter.fillRect(event->rect(), palette.window());
painter.setFont(this->TextEdit.font());
const QSize size = this->sizeHint();
std::int32_t firstBlockId = std::max(0, details::getFirstVisibleBlockId(this->TextEdit) - 1);
QTextBlock block = this->TextEdit.document()->findBlockByNumber(firstBlockId);
while (block.isValid() && block.isVisible())
{
const QTextCursor blockCursor(block);
const QRect blockCursorRect = this->TextEdit.cursorRect(blockCursor);
painter.setPen((this->TextEdit.textCursor().blockNumber() == firstBlockId)
? palette.text().color()
: palette.placeholderText().color());
const QString number = QString::number(firstBlockId + 1);
painter.drawText(-5, blockCursorRect.y() + 2, size.width(),
this->TextEdit.fontMetrics().height(), Qt::AlignRight, number);
block = block.next();
firstBlockId++;
}
}
|
