editors/FileManagementPanel.py
changeset 1766 c1e5b9f19483
parent 1745 f9d32913bad4
child 1768 691083b5682a
equal deleted inserted replaced
1765:ccf59c1f0b45 1766:c1e5b9f19483
   160                 self.ManagedDir.RefreshTree()
   160                 self.ManagedDir.RefreshTree()
   161         event.Skip()
   161         event.Skip()
   162 
   162 
   163     def OnEditButton(self, event):
   163     def OnEditButton(self, event):
   164         filepath = self.ManagedDir.GetPath()
   164         filepath = self.ManagedDir.GetPath()
   165         if (os.path.isfile(filepath) and
   165         if os.path.isfile(filepath) and \
   166             os.path.splitext(filepath)[1] in self.EditableFileExtensions):
   166            os.path.splitext(filepath)[1] in self.EditableFileExtensions:
   167             self.Controler._OpenView(filepath + "::")
   167             self.Controler._OpenView(filepath + "::")
   168         event.Skip()
   168         event.Skip()
   169 
   169 
   170     def CopyFile(self, src, dst):
   170     def CopyFile(self, src, dst):
   171         if os.path.isfile(src):
   171         if os.path.isfile(src):