diff options
Diffstat (limited to 'examples/widgets/codeeditor/codeeditor.py')
-rw-r--r-- | examples/widgets/codeeditor/codeeditor.py | 104 |
1 files changed, 0 insertions, 104 deletions
diff --git a/examples/widgets/codeeditor/codeeditor.py b/examples/widgets/codeeditor/codeeditor.py deleted file mode 100644 index 635dcb7a8..000000000 --- a/examples/widgets/codeeditor/codeeditor.py +++ /dev/null @@ -1,104 +0,0 @@ -# Copyright (C) 2022 The Qt Company Ltd. -# SPDX-License-Identifier: LicenseRef-Qt-Commercial OR BSD-3-Clause - -from PySide6.QtCore import Slot, Qt, QRect, QSize -from PySide6.QtGui import QColor, QPainter, QTextFormat -from PySide6.QtWidgets import QPlainTextEdit, QWidget, QTextEdit - - -class LineNumberArea(QWidget): - def __init__(self, editor): - QWidget.__init__(self, editor) - self._code_editor = editor - - def sizeHint(self): - return QSize(self._code_editor.line_number_area_width(), 0) - - def paintEvent(self, event): - self._code_editor.lineNumberAreaPaintEvent(event) - - -class CodeEditor(QPlainTextEdit): - def __init__(self): - super().__init__() - self.line_number_area = LineNumberArea(self) - - self.blockCountChanged[int].connect(self.update_line_number_area_width) - self.updateRequest[QRect, int].connect(self.update_line_number_area) - self.cursorPositionChanged.connect(self.highlight_current_line) - - self.update_line_number_area_width(0) - self.highlight_current_line() - - def line_number_area_width(self): - digits = 1 - max_num = max(1, self.blockCount()) - while max_num >= 10: - max_num *= 0.1 - digits += 1 - - space = 3 + self.fontMetrics().horizontalAdvance('9') * digits - return space - - def resizeEvent(self, e): - super().resizeEvent(e) - cr = self.contentsRect() - width = self.line_number_area_width() - rect = QRect(cr.left(), cr.top(), width, cr.height()) - self.line_number_area.setGeometry(rect) - - def lineNumberAreaPaintEvent(self, event): - with QPainter(self.line_number_area) as painter: - painter.fillRect(event.rect(), Qt.lightGray) - block = self.firstVisibleBlock() - block_number = block.blockNumber() - offset = self.contentOffset() - top = self.blockBoundingGeometry(block).translated(offset).top() - bottom = top + self.blockBoundingRect(block).height() - - while block.isValid() and top <= event.rect().bottom(): - if block.isVisible() and bottom >= event.rect().top(): - number = str(block_number + 1) - painter.setPen(Qt.black) - width = self.line_number_area.width() - height = self.fontMetrics().height() - painter.drawText(0, top, width, height, Qt.AlignRight, number) - - block = block.next() - top = bottom - bottom = top + self.blockBoundingRect(block).height() - block_number += 1 - - @Slot() - def update_line_number_area_width(self, newBlockCount): - self.setViewportMargins(self.line_number_area_width(), 0, 0, 0) - - @Slot() - def update_line_number_area(self, rect, dy): - if dy: - self.line_number_area.scroll(0, dy) - else: - width = self.line_number_area.width() - self.line_number_area.update(0, rect.y(), width, rect.height()) - - if rect.contains(self.viewport().rect()): - self.update_line_number_area_width(0) - - @Slot() - def highlight_current_line(self): - extra_selections = [] - - if not self.isReadOnly(): - selection = QTextEdit.ExtraSelection() - - line_color = QColor(Qt.yellow).lighter(160) - selection.format.setBackground(line_color) - - selection.format.setProperty(QTextFormat.FullWidthSelection, True) - - selection.cursor = self.textCursor() - selection.cursor.clearSelection() - - extra_selections.append(selection) - - self.setExtraSelections(extra_selections) |