Obtenir la taille de police par défaut d'un RichTextCtrl dans wxPython

Question

J'ai un RichTextCtrl, que j'ai modifié pour accepter l'entrée HTML. Le code d'analyse HTML doit être en mesure d'augmenter et de diminuer la taille de la police en obtenant des balises comme <font size="-1">, mais je ne peux pas déterminer comment ajuster la taille de police par défaut du contrôle.
J'ai essayé le suivant (où self est mon RichTextCtrl):

fred = wx.richtext.RichTextAttr() 
self.GetStyle(0,fred) 
print fred.GetFontSize() 

Cependant, l'instruction échoue finale, car GetStyle tourne fred en TextAttrEx et si je reçois AttributeError: 'TextAttrEx' object has no attribute 'GetFontSize'. Est-ce que je manque une manière beaucoup plus facile d'obtenir la taille de police par défaut?

Answer 1

Résolu. Avant toute écriture de données sur le contrôle:

self.defaultstyle = wx.richtext.RichTextAttr() 
self.GetStyle(self.GetInsertionPoint(), self.defaultstyle) 
self.defaultsize = self.defaultstyle.GetFont().GetPointSize()