--- a/TextViewer.py Thu Aug 21 15:44:42 2008 +0200
+++ b/TextViewer.py Fri Aug 22 13:49:22 2008 +0200
@@ -89,23 +89,6 @@
else:
return None
-if wx.VERSION >= (2, 8, 0):
- import wx.aui
-
- class TextMDIViewer(wx.aui.AuiMDIChildFrame):
- def __init__(self, parent, tagname, window, controler):
- wx.aui.AuiMDIChildFrame.__init__(self, parent, -1, title = "")
-
- sizer = wx.BoxSizer(wx.HORIZONTAL)
-
- self.Viewer = TextViewer(self, tagname, window, controler)
-
- sizer.AddWindow(self.Viewer, 1, border=0, flag=wx.GROW)
-
- self.SetSizer(sizer)
-
- def GetViewer(self):
- return self.Viewer
class TextViewer(wx.stc.StyledTextCtrl):