def paintEvent(self, e): QPlainTextEdit.paintEvent(self, e) if self._margin: qp = QPainter() qp.begin(self.viewport()) qp.setPen(self._margin.color) offset = self.contentOffset() qp.drawLine(self.position_margin + offset.x(), 0, self.position_margin + offset.x(), self.viewport().height()) qp.end()
def paintEvent(self, event): painter = QPainter(self.viewport()) if self.highlight_line: r = self.cursorRect() r.setX(0) r.setWidth(self.viewport().width()) painter.fillRect(r, self.highlight_brush) if self.draw_line: painter.setPen(self.line_pen) painter.drawLine(self.line) painter.end() QPlainTextEdit.paintEvent(self, event)
def paintEvent(self,event): QPlainTextEdit.paintEvent(self,event) for aaa in self.foldedLines: tmp=True for bbb in self.foldedLines: if bbb != aaa and bbb < aaa and self.foldedLines[bbb]>self.foldedLines[aaa]: tmp=False if tmp: bottom = int(self.blockBoundingGeometry(self.document().findBlockByNumber(aaa+1)).top()+self.blockBoundingGeometry(self.document().findBlockByNumber(self.foldedLines[aaa]).next()).height()) paint = QPainter() paint.begin(self.viewport()) paint.setPen(QPen(Qt.black, 1, Qt.DashLine)) paint.drawLine(0,bottom,self.width(),bottom) paint.end()