equal
deleted
inserted
replaced
768 faces["size"] -= 1 |
768 faces["size"] -= 1 |
769 font = wx.Font(faces["size"], wx.SWISS, wx.NORMAL, wx.NORMAL, faceName=faces["mono"]) |
769 font = wx.Font(faces["size"], wx.SWISS, wx.NORMAL, wx.NORMAL, faceName=faces["mono"]) |
770 dc.SetFont(font) |
770 dc.SetFont(font) |
771 width, _height = dc.GetTextExtent("ABCDEFGHIJKLMNOPQRSTUVWXYZ") |
771 width, _height = dc.GetTextExtent("ABCDEFGHIJKLMNOPQRSTUVWXYZ") |
772 self.SetFont(font) |
772 self.SetFont(font) |
773 self.MiniTextDC = wx.MemoryDC() |
773 self.MiniTextDC = wx.MemoryDC(wx.EmptyBitmap(1, 1)) |
774 self.MiniTextDC.SetFont(wx.Font(faces["size"] * 0.75, wx.SWISS, wx.NORMAL, wx.NORMAL, faceName=faces["helv"])) |
774 self.MiniTextDC.SetFont(wx.Font(faces["size"] * 0.75, wx.SWISS, wx.NORMAL, wx.NORMAL, faceName=faces["helv"])) |
775 |
775 |
776 self.CurrentScale = None |
776 self.CurrentScale = None |
777 self.SetScale(ZOOM_FACTORS.index(1.0), False) |
777 self.SetScale(ZOOM_FACTORS.index(1.0), False) |
778 |
778 |