def paintEvent(self, ev):
p = QPainter(self)
p.setRenderHints(p.Antialiasing)
p.setBrush(self.brush)
p.setPen(Qt.NoPen)
p.drawPath(self.arrow_path)
p.end()
def paintEvent(self, ev):
p = QPainter(self)
p.setRenderHints(p.Antialiasing)
p.setBrush(self.brush)
p.setPen(Qt.NoPen)
p.drawPath(self.arrow_path)
p.end()
def paintEvent(self, event):
h = self.size().height()
w = self.size().width()
contents_y = self.edit.verticalScrollBar().value()
page_bottom = contents_y + self.edit.viewport().height()
font_metrics = self.fontMetrics()
painter = QPainter(self)
painter.setBackgroundMode(QtCore.Qt.OpaqueMode)
bgc = QtGui.QColor(0, 0, 0)
painter.fillRect(0, 0, w, h, bgc)
numbersborderc = QtGui.QColor(55, 75, 75)
painter.setPen(numbersborderc)
painter.drawLine(w - 1, 0, w - 1, h)
bg = QtGui.QBrush(bgc)
painter.setBackground(bg)
textc = QtGui.QColor(55, 255, 255)
painter.setPen(textc)
fg = QtGui.QBrush(bgc)
painter.setBrush(fg)
line_count = 0
# Iterate over all text blocks in the document.
block = self.edit.document().begin()
while block.isValid():
line_count += 1
# The top left position of the block in the document
position = self.edit.document().documentLayout().blockBoundingRect(
block).topLeft()
# Draw the line number right justified at the y position of the
# line. 3 is a magic padding number. drawText(x, y, text).
painter.drawText(
self.width() - font_metrics.width(str(line_count)) - 8,
round(position.y()) - contents_y + font_metrics.ascent(),
str(line_count))
block = block.next()
self.highest_line = line_count
painter.end()
QWidget.paintEvent(self, event)
def paintEvent(self, event):
h = self.size().height()
w = self.size().width()
contents_y = self.edit.verticalScrollBar().value()
page_bottom = contents_y + self.edit.viewport().height()
font_metrics = self.fontMetrics()
painter = QPainter(self)
painter.setBackgroundMode(QtCore.Qt.OpaqueMode)
bgc = QtGui.QColor(0, 0, 0)
painter.fillRect(0, 0, w, h, bgc)
numbersborderc = QtGui.QColor(55, 75, 75)
painter.setPen(numbersborderc)
painter.drawLine(w-1, 0, w-1, h)
bg = QtGui.QBrush(bgc)
painter.setBackground(bg)
textc = QtGui.QColor(55, 255, 255)
painter.setPen(textc)
fg = QtGui.QBrush(bgc)
painter.setBrush(fg)
line_count = 0
# Iterate over all text blocks in the document.
block = self.edit.document().begin()
while block.isValid():
line_count += 1
# The top left position of the block in the document
position = self.edit.document().documentLayout().blockBoundingRect(block).topLeft()
# Draw the line number right justified at the y position of the
# line. 3 is a magic padding number. drawText(x, y, text).
painter.drawText(self.width() - font_metrics.width(str(line_count)) - 8, round(position.y()) - contents_y + font_metrics.ascent(), str(line_count))
block = block.next()
self.highest_line = line_count
painter.end()
QWidget.paintEvent(self, event)
