def makefont(self): Settings=gtk.settings_get_for_screen(gdk.screen_get_default()) gtk.rc_parse_string(""" style "general-font" { font_name = "Sans """+str(self.font)+""" " } style "out-font" { font_name = "Sans """+str(self.font+6)+""" " } style "label-font" { font_name = "Sans bold """+str(self.font-4)+""" " } class "*" style "general-font" class "GtkTreeView" style "out-font" class "GtkLabel" style "label-font" """) gtk.rc_reset_styles(Settings)