339 self._init_ctrls(parent) |
339 self._init_ctrls(parent) |
340 self.HtmlFrameOpened = [] |
340 self.HtmlFrameOpened = [] |
341 |
341 |
342 self.Manager = NodeManager(ScriptDirectory) |
342 self.Manager = NodeManager(ScriptDirectory) |
343 for filepath in filesOpen: |
343 for filepath in filesOpen: |
344 self.Manager.OpenFileInCurrent(filepath) |
344 result = self.Manager.OpenFileInCurrent(filepath) |
345 new_editingpanel = EditingPanel(self, self.Manager) |
345 if type(result) == IntType: |
346 self.FileOpened.AddPage(new_editingpanel, "") |
346 new_editingpanel = EditingPanel(self, self.Manager) |
347 self.FileOpened.SetSelection(self.Manager.GetCurrentNodeIndex()) |
347 new_editingpanel.SetIndex(result) |
|
348 self.FileOpened.AddPage(new_editingpanel, "") |
|
349 window = self.FileOpened.GetPage(0) |
|
350 if window: |
|
351 self.Manager.ChangeCurrentNode(window.GetIndex()) |
|
352 self.FileOpened.SetSelection(0) |
348 if self.Manager.CurrentDS302Defined(): |
353 if self.Manager.CurrentDS302Defined(): |
349 self.EditMenu.Enable(wxID_OBJDICTEDITEDITMENUITEMS8, True) |
354 self.EditMenu.Enable(wxID_OBJDICTEDITEDITMENUITEMS8, True) |
350 else: |
355 else: |
351 self.EditMenu.Enable(wxID_OBJDICTEDITEDITMENUITEMS8, False) |
356 self.EditMenu.Enable(wxID_OBJDICTEDITEDITMENUITEMS8, False) |
352 self.RefreshEditMenu() |
357 self.RefreshEditMenu() |