修改wxpython.TextCtrl控件上的文字大小

textCtrl = wx.TextCtrl(self, size=(250,25))
font1 = wx.Font(15, wx.MODERN, wx.NORMAL, wx.NORMAL, False, 'Consolas')
textCtrl.SetFont(font1)
textCtrl.AppendText('Red')