+ #Font
+ try :
+ self.pref.read(self.ConfigPath['preferences'])
+ self.fontsize = self.pref.getint('iramuteq','fontsize')
+ except :
+ print('no pref : setting fontsize to 12')
+ self.fontsize = 12
+ self.SetFont(wx.Font(self.fontsize, wx.FONTFAMILY_DEFAULT, wx.FONTSTYLE_NORMAL, wx.FONTWEIGHT_NORMAL))
+