Exemple #1
0
def fold_area_paint_event(self, fold_area, event):
	painter = QPainter(fold_area)
	painter.fillRect(event.rect(), Qt.black)

	if fold_area.mouse_position.x() > 0 and fold_area.mouse_position.x() < 20 :
		block = get_mouse_position_block(self, fold_area.mouse_position.y() )
		if block.blockNumber() != -1:
			if( is_judge_left_bracket(block) ):
				block = block.next()
Exemple #2
0
	def line_number_area_paint_event(self, line_number_area, event):
		painter = QPainter(line_number_area)

		painter.fillRect(event.rect(), Qt.black)

		block = self.firstVisibleBlock()
		block_number = block.blockNumber()
		top = self.blockBoundingGeometry(block).translated(self.contentOffset()).top()
		bottom = top + self.blockBoundingGeometry(block).height()

		while block.isValid() and (top <= event.rect().bottom() ):
			if block.isVisible() and (bottom >= event.rect().top() ):
				painter.setPen(Qt.gray)
				painter.drawText(0, top, line_number_area.width(), self.fontMetrics().height(),
								Qt.AlignRight, '%s' %(block_number+1) )

			block = block.next()
			top = bottom
			bottom = top +  self.blockBoundingGeometry(block).height()
			block_number = block_number + 1