equal
deleted
inserted
replaced
87 else: |
87 else: |
88 return i + 1 |
88 return i + 1 |
89 else: |
89 else: |
90 return None |
90 return None |
91 |
91 |
92 if wx.VERSION >= (2, 8, 0): |
|
93 import wx.aui |
|
94 |
|
95 class TextMDIViewer(wx.aui.AuiMDIChildFrame): |
|
96 def __init__(self, parent, tagname, window, controler): |
|
97 wx.aui.AuiMDIChildFrame.__init__(self, parent, -1, title = "") |
|
98 |
|
99 sizer = wx.BoxSizer(wx.HORIZONTAL) |
|
100 |
|
101 self.Viewer = TextViewer(self, tagname, window, controler) |
|
102 |
|
103 sizer.AddWindow(self.Viewer, 1, border=0, flag=wx.GROW) |
|
104 |
|
105 self.SetSizer(sizer) |
|
106 |
|
107 def GetViewer(self): |
|
108 return self.Viewer |
|
109 |
92 |
110 class TextViewer(wx.stc.StyledTextCtrl): |
93 class TextViewer(wx.stc.StyledTextCtrl): |
111 |
94 |
112 if wx.VERSION < (2, 6, 0): |
95 if wx.VERSION < (2, 6, 0): |
113 def Bind(self, event, function, id = None): |
96 def Bind(self, event, function, id = None): |