changeset 1744 | 69dfdb26f600 |
parent 1737 | a39c2918c015 |
child 1769 | 4665ba25a0ba |
1743:c3c3d1318130 | 1744:69dfdb26f600 |
---|---|
59 self.Font = wx.Font( |
59 self.Font = wx.Font( |
60 faces["size"], |
60 faces["size"], |
61 wx.SWISS, |
61 wx.SWISS, |
62 wx.NORMAL, |
62 wx.NORMAL, |
63 wx.NORMAL, |
63 wx.NORMAL, |
64 faceName = faces["mono"]) |
64 faceName=faces["mono"]) |
65 |
65 |
66 self.Bind(wx.EVT_PAINT, self.OnPaint) |
66 self.Bind(wx.EVT_PAINT, self.OnPaint) |
67 |
67 |
68 def SetFont(self, font): |
68 def SetFont(self, font): |
69 """ |
69 """ |