equal
deleted
inserted
replaced
88 return i + 1 |
88 return i + 1 |
89 else: |
89 else: |
90 return None |
90 return None |
91 |
91 |
92 class TextViewer(wx.stc.StyledTextCtrl): |
92 class TextViewer(wx.stc.StyledTextCtrl): |
|
93 |
|
94 if wx.VERSION < (2, 6, 0): |
|
95 def Bind(self, event, function, id = None): |
|
96 if id is not None: |
|
97 event(self, id, function) |
|
98 else: |
|
99 event(self, function) |
93 |
100 |
94 def __init__(self, parent, window, controler): |
101 def __init__(self, parent, window, controler): |
95 wx.stc.StyledTextCtrl.__init__(self, parent, ID_TEXTVIEWER, size=wx.Size(0, 0), style=0) |
102 wx.stc.StyledTextCtrl.__init__(self, parent, ID_TEXTVIEWER, size=wx.Size(0, 0), style=0) |
96 |
103 |
97 self.CmdKeyAssign(ord('+'), wx.stc.STC_SCMOD_CTRL, wx.stc.STC_CMD_ZOOMIN) |
104 self.CmdKeyAssign(ord('+'), wx.stc.STC_SCMOD_CTRL, wx.stc.STC_CMD_ZOOMIN) |