objdictgen/objdictedit.py
changeset 232 e435bbec1759
parent 227 f76c64f66097
child 245 d43ebbed895f
equal deleted inserted replaced
231:4fd03ee0c30e 232:e435bbec1759
   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()