equal
deleted
inserted
replaced
72 'helv' : 'Helvetica', |
72 'helv' : 'Helvetica', |
73 'other': 'new century schoolbook', |
73 'other': 'new century schoolbook', |
74 'size' : 12, |
74 'size' : 12, |
75 } |
75 } |
76 |
76 |
77 ZOOM_FACTORS = [math.sqrt(2) ** x for x in xrange(-6, 7)] |
77 if wx.Platform == '__WXMSW__': |
|
78 MAX_ZOOMIN = 4 |
|
79 else: |
|
80 MAX_ZOOMIN = 7 |
|
81 ZOOM_FACTORS = [math.sqrt(2) ** x for x in xrange(-6, MAX_ZOOMIN)] |
78 |
82 |
79 def GetVariableCreationFunction(variable_type): |
83 def GetVariableCreationFunction(variable_type): |
80 def variableCreationFunction(viewer, id, specific_values): |
84 def variableCreationFunction(viewer, id, specific_values): |
81 return FBD_Variable(viewer, variable_type, |
85 return FBD_Variable(viewer, variable_type, |
82 specific_values["name"], |
86 specific_values["name"], |
606 self.SetFont(font) |
610 self.SetFont(font) |
607 self.MiniTextDC = wx.MemoryDC() |
611 self.MiniTextDC = wx.MemoryDC() |
608 self.MiniTextDC.SetFont(wx.Font(faces["size"] * 0.75, wx.SWISS, wx.NORMAL, wx.NORMAL, faceName = faces["helv"])) |
612 self.MiniTextDC.SetFont(wx.Font(faces["size"] * 0.75, wx.SWISS, wx.NORMAL, wx.NORMAL, faceName = faces["helv"])) |
609 |
613 |
610 self.CurrentScale = None |
614 self.CurrentScale = None |
611 self.SetScale(len(ZOOM_FACTORS) / 2, False) |
615 self.SetScale(ZOOM_FACTORS.index(1.0), False) |
612 |
616 |
613 self.RefreshHighlightsTimer = wx.Timer(self, -1) |
617 self.RefreshHighlightsTimer = wx.Timer(self, -1) |
614 self.Bind(wx.EVT_TIMER, self.OnRefreshHighlightsTimer, self.RefreshHighlightsTimer) |
618 self.Bind(wx.EVT_TIMER, self.OnRefreshHighlightsTimer, self.RefreshHighlightsTimer) |
615 |
619 |
616 self.ResetView() |
620 self.ResetView() |