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)