equal
deleted
inserted
replaced
63 if self.Editor is not None and self.VariableEditor is not None: |
63 if self.Editor is not None and self.VariableEditor is not None: |
64 self.SplitHorizontally(self.VariableEditor, self.Editor, 200) |
64 self.SplitHorizontally(self.VariableEditor, self.Editor, 200) |
65 elif self.VariableEditor is not None: |
65 elif self.VariableEditor is not None: |
66 self.Initialize(self.VariableEditor) |
66 self.Initialize(self.VariableEditor) |
67 elif self.Editor is not None: |
67 elif self.Editor is not None: |
68 self.Initialize(self.Editor) |
68 self.Initialize(self.Editor) |
69 |
69 |
70 def __init__(self, parent, tagname, window, controler, debug=False): |
70 def __init__(self, parent, tagname, window, controler, debug=False): |
71 self.ParentWindow = window |
71 self.ParentWindow = window |
72 self.Controler = controler |
72 self.Controler = controler |
73 self.TagName = tagname |
73 self.TagName = tagname |