def resizeEvent(self, *e):
'''overload resizeEvent handler'''
if self.DISPLAY_LINE_NUMBERS: # resize number_bar widget
cr = self.contentsRect()
rec = QRect(cr.left(), cr.top(), self.number_bar.getWidth(),
cr.height())
self.number_bar.setGeometry(rec)
QPlainTextEdit.resizeEvent(self, *e)
def resizeEvent(self, event):
QPlainTextEdit.resizeEvent(self, event)
cr = self.contentsRect()
self.line_number_area.setGeometry(QRect(cr.left(), cr.top(), self.get_line_number_area_width(), cr.height()))
