Changing the font on a wxPython TextCtrl widget

I'd like to set the font of a wx.TextCtr开发者_StackOverflowl widget to Consolas, or at least another monospaced font. How would I go about this?

font1 = wx.Font(10, wx.MODERN, wx.NORMAL, wx.NORMAL, False, u'Consolas')
myTextCtrl.SetFont(font1)