def set_font(self, font_name):
"""
Change the current font by name.
:use: self.set_font("Courier")
"""
size = self.font().pointSize()
font = QtGui.QFont(font_name)
font.setStyleHint(QtGui.QFont.Monospace)
font.setPointSize(size)
font.setFixedPitch(True)
self.setFont(font)
def scrollContentsBy(self, dx, dy):
self.sidebar.update()
self.sidebar.setFont(QtGui.QFont(self.currentFont()))
super(TextEditor, self).scrollContentsBy(dx, dy)
