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
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
|
# (C) Copyright 2005-2023 Enthought, Inc., Austin, TX
# All rights reserved.
#
# This software is provided without warranty under the terms of the BSD
# license included in LICENSE.txt and may be redistributed only under
# the conditions described in the aforementioned license. The license
# is also available online at http://www.enthought.com/licenses/BSD.txt
#
# Thanks for using Enthought open source!
import math
from pyface.qt import QtCore, QtGui
class GutterWidget(QtGui.QWidget):
min_width = 5
def sizeHint(self):
return QtCore.QSize(self.min_width, 0)
def paintEvent(self, event):
""" Paint the line numbers.
"""
painter = QtGui.QPainter(self)
painter.fillRect(event.rect(), self.pallette().window())
def wheelEvent(self, event):
""" Delegate mouse wheel events to parent for seamless scrolling.
"""
self.parent().wheelEvent(event)
class StatusGutterWidget(GutterWidget):
""" Draws status markers
"""
def __init__(self, *args, **kw):
super().__init__(*args, **kw)
self.error_lines = []
self.warn_lines = []
self.info_lines = []
def sizeHint(self):
return QtCore.QSize(10, 0)
def paintEvent(self, event):
""" Paint the line numbers.
"""
painter = QtGui.QPainter(self)
painter.fillRect(event.rect(), self.palette().window())
cw = self.parent()
pixels_per_block = self.height() / float(cw.blockCount())
for line in self.info_lines:
painter.fillRect(
QtCore.QRect(0, line * pixels_per_block, self.width(), 3),
QtCore.Qt.GlobalColor.green,
)
for line in self.warn_lines:
painter.fillRect(
QtCore.QRect(0, line * pixels_per_block, self.width(), 3),
QtCore.Qt.GlobalColor.yellow,
)
for line in self.error_lines:
painter.fillRect(
QtCore.QRect(0, line * pixels_per_block, self.width(), 3),
QtCore.Qt.GlobalColor.red,
)
class LineNumberWidget(GutterWidget):
""" Draw line numbers.
"""
min_char_width = 4
def fontMetrics(self):
# QWidget's fontMetrics method does not provide an up to date
# font metrics, just one corresponding to the initial font
return QtGui.QFontMetrics(self.font)
def set_font(self, font):
self.font = font
def digits_width(self):
nlines = max(1, self.parent().blockCount())
ndigits = max(
self.min_char_width, int(math.floor(math.log10(nlines) + 1))
)
# QFontMetrics.width() is deprecated and Qt docs suggest using
# horizontalAdvance() instead, but is only available since Qt 5.11
if QtCore.__version_info__ >= (5, 11):
width = max(
self.fontMetrics().horizontalAdvance("0" * ndigits) + 3,
self.min_width
)
else:
width = max(
self.fontMetrics().width("0" * ndigits) + 3, self.min_width
)
return width
def sizeHint(self):
return QtCore.QSize(self.digits_width(), 0)
def paintEvent(self, event):
""" Paint the line numbers.
"""
painter = QtGui.QPainter(self)
painter.setFont(self.font)
painter.fillRect(event.rect(), self.palette().window())
cw = self.parent()
block = cw.firstVisibleBlock()
blocknum = block.blockNumber()
top = (
cw.blockBoundingGeometry(block)
.translated(cw.contentOffset())
.top()
)
bottom = top + int(cw.blockBoundingRect(block).height())
painter.setBrush(self.palette().windowText())
while block.isValid() and top <= event.rect().bottom():
if block.isVisible() and bottom >= event.rect().top():
painter.drawText(
0,
int(top),
self.width() - 2,
self.fontMetrics().height(),
QtCore.Qt.AlignmentFlag.AlignRight,
str(blocknum + 1),
)
block = block.next()
top = bottom
bottom = top + int(cw.blockBoundingRect(block).height())
blocknum += 1
|
