'Set font'

def set_font(self, font, color_scheme=None):

    if (color_scheme is not None):
        self.color_scheme = color_scheme
    self.setFont(font)
    self.panels.refresh()
    self.apply_highlighter_settings(color_scheme)
