equal
deleted
inserted
replaced
29 |
29 |
30 import re |
30 import re |
31 |
31 |
32 DIMENSION_MODEL = re.compile("([0-9]+)\.\.([0-9]+)$") |
32 DIMENSION_MODEL = re.compile("([0-9]+)\.\.([0-9]+)$") |
33 |
33 |
34 if wx.VERSION >= (2, 8, 0): |
|
35 import wx.aui |
|
36 |
|
37 class MDIDataTypeEditor(wx.aui.AuiMDIChildFrame): |
|
38 def __init__(self, parent, tagname, window, controler): |
|
39 wx.aui.AuiMDIChildFrame.__init__(self, parent, -1, title = "") |
|
40 |
|
41 sizer = wx.BoxSizer(wx.HORIZONTAL) |
|
42 |
|
43 self.Viewer = DataTypeEditor(self, tagname, window, controler) |
|
44 |
|
45 sizer.AddWindow(self.Viewer, 1, border=0, flag=wx.GROW) |
|
46 |
|
47 self.SetSizer(sizer) |
|
48 |
|
49 def GetViewer(self): |
|
50 return self.Viewer |
|
51 |
34 |
52 #------------------------------------------------------------------------------- |
35 #------------------------------------------------------------------------------- |
53 # Configuration Editor class |
36 # Configuration Editor class |
54 #------------------------------------------------------------------------------- |
37 #------------------------------------------------------------------------------- |
55 |
38 |