feedc0de/qt-creator
1
0
Fork 0
forked from qt-creator/qt-creator
Code Pull Requests Activity

Editor: Draw line numbers before text marks.

Browse Source 
Task-number: QTCREATORBUG-14178
Change-Id: Id7c29d958194b1337316cd550211c5089e719ccb
Reviewed-by: Christian Stenger <christian.stenger@theqtcompany.com>
This commit is contained in:
David Schulz
2015-04-08 12:56:44 +02:00
parent 2ccae82b5c
commit 24d784b06a
1 changed files with 25 additions and 25 deletions
Download Patch File Download Diff File Expand all files Collapse all files

50
src/plugins/texteditor/texteditor.cpp
View File

@@ -4355,6 +4355,31 @@ void TextEditorWidget::extraAreaPaintEvent(QPaintEvent *e)
painter.setPen(pal.color(QPalette::Dark));
if (d->m_lineNumbersVisible) {
const QString &number = lineNumber(blockNumber);
bool selected = (
(selStart < block.position() + block.length()
&& selEnd > block.position())
|| (selStart == selEnd && selStart == block.position())
);
if (selected) {
painter.save();
QFont f = painter.font();
const QTextCharFormat &currentLineNumberFormat
= textDocument()->fontSettings().toTextCharFormat(C_CURRENT_LINE_NUMBER);
f.setBold(currentLineNumberFormat.font().bold());
f.setItalic(currentLineNumberFormat.font().italic());
painter.setFont(f);
painter.setPen(currentLineNumberFormat.foreground().color());
if (currentLineNumberFormat.background() != Qt::NoBrush)
painter.fillRect(QRect(0, top, extraAreaWidth, height), currentLineNumberFormat.background().color());
}
painter.drawText(QRectF(markWidth, top, extraAreaWidth - markWidth - 4, height), Qt::AlignRight, number);
if (selected)
painter.restore();
}
if (d->m_codeFoldingVisible || d->m_marksVisible) {
painter.save();
painter.setRenderHint(QPainter::Antialiasing, false);
@@ -4452,31 +4477,6 @@ void TextEditorWidget::extraAreaPaintEvent(QPaintEvent *e)
painter.restore();
}
if (d->m_lineNumbersVisible) {
const QString &number = lineNumber(blockNumber);
bool selected = (
(selStart < block.position() + block.length()
&& selEnd > block.position())
|| (selStart == selEnd && selStart == block.position())
);
if (selected) {
painter.save();
QFont f = painter.font();
const QTextCharFormat &currentLineNumberFormat
= textDocument()->fontSettings().toTextCharFormat(C_CURRENT_LINE_NUMBER);
f.setBold(currentLineNumberFormat.font().bold());
f.setItalic(currentLineNumberFormat.font().italic());
painter.setFont(f);
painter.setPen(currentLineNumberFormat.foreground().color());
if (currentLineNumberFormat.background() != Qt::NoBrush)
painter.fillRect(QRect(0, top, extraAreaWidth, height), currentLineNumberFormat.background().color());
}
painter.drawText(QRectF(markWidth, top, extraAreaWidth - markWidth - 4, height), Qt::AlignRight, number);
if (selected)
painter.restore();
}
block = nextVisibleBlock;
blockNumber = nextVisibleBlockNumber;
}